home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / hity wydania / Ubuntu 9.10 PL / karmelkowy-koliberek-desktop-9.10-i386-PL.iso / casper / filesystem.squashfs / usr / share / gtkhtml-3.14 / gtkhtml-editor-builder.ui next >
Encoding:
Extensible Markup Language  |  2009-10-19  |  200.2 KB  |  3,605 lines
  1. <?xml version="1.0"?>
  2. <!--Generated with glade3 3.4.5 on Wed Dec 31 00:39:22 2008 -->
  3. <interface>
  4.   <object class="GtkAdjustment" id="adjustment1">
  5.     <property name="upper">100</property>
  6.     <property name="lower">0</property>
  7.     <property name="page_increment">10</property>
  8.     <property name="step_increment">1</property>
  9.     <property name="page_size">0</property>
  10.     <property name="value">0</property>
  11.   </object>
  12.   <object class="GtkAdjustment" id="adjustment10">
  13.     <property name="upper">100</property>
  14.     <property name="lower">0</property>
  15.     <property name="page_increment">10</property>
  16.     <property name="step_increment">1</property>
  17.     <property name="page_size">0</property>
  18.     <property name="value">0</property>
  19.   </object>
  20.   <object class="GtkAdjustment" id="adjustment11">
  21.     <property name="upper">100</property>
  22.     <property name="lower">0</property>
  23.     <property name="page_increment">10</property>
  24.     <property name="step_increment">1</property>
  25.     <property name="page_size">0</property>
  26.     <property name="value">0</property>
  27.   </object>
  28.   <object class="GtkAdjustment" id="adjustment12">
  29.     <property name="upper">10000</property>
  30.     <property name="lower">0</property>
  31.     <property name="page_increment">10</property>
  32.     <property name="step_increment">1</property>
  33.     <property name="page_size">0</property>
  34.     <property name="value">0</property>
  35.   </object>
  36.   <object class="GtkAdjustment" id="adjustment13">
  37.     <property name="upper">10000</property>
  38.     <property name="lower">0</property>
  39.     <property name="page_increment">10</property>
  40.     <property name="step_increment">1</property>
  41.     <property name="page_size">0</property>
  42.     <property name="value">0</property>
  43.   </object>
  44.   <object class="GtkAdjustment" id="adjustment14">
  45.     <property name="upper">100</property>
  46.     <property name="lower">0</property>
  47.     <property name="page_increment">10</property>
  48.     <property name="step_increment">1</property>
  49.     <property name="page_size">0</property>
  50.     <property name="value">0</property>
  51.   </object>
  52.   <object class="GtkAdjustment" id="adjustment15">
  53.     <property name="upper">100</property>
  54.     <property name="lower">0</property>
  55.     <property name="page_increment">10</property>
  56.     <property name="step_increment">1</property>
  57.     <property name="page_size">0</property>
  58.     <property name="value">0</property>
  59.   </object>
  60.   <object class="GtkAdjustment" id="adjustment16">
  61.     <property name="upper">100</property>
  62.     <property name="lower">0</property>
  63.     <property name="page_increment">10</property>
  64.     <property name="step_increment">1</property>
  65.     <property name="page_size">0</property>
  66.     <property name="value">0</property>
  67.   </object>
  68.   <object class="GtkAdjustment" id="adjustment2">
  69.     <property name="upper">100</property>
  70.     <property name="lower">0</property>
  71.     <property name="page_increment">10</property>
  72.     <property name="step_increment">1</property>
  73.     <property name="page_size">0</property>
  74.     <property name="value">0</property>
  75.   </object>
  76.   <object class="GtkAdjustment" id="adjustment3">
  77.     <property name="upper">32767</property>
  78.     <property name="lower">1</property>
  79.     <property name="page_increment">10</property>
  80.     <property name="step_increment">1</property>
  81.     <property name="page_size">0</property>
  82.     <property name="value">1</property>
  83.   </object>
  84.   <object class="GtkAdjustment" id="adjustment4">
  85.     <property name="upper">32767</property>
  86.     <property name="lower">1</property>
  87.     <property name="page_increment">10</property>
  88.     <property name="step_increment">1</property>
  89.     <property name="page_size">0</property>
  90.     <property name="value">1</property>
  91.   </object>
  92.   <object class="GtkAdjustment" id="adjustment5">
  93.     <property name="upper">100</property>
  94.     <property name="lower">1</property>
  95.     <property name="page_increment">10</property>
  96.     <property name="step_increment">1</property>
  97.     <property name="page_size">0</property>
  98.     <property name="value">1</property>
  99.   </object>
  100.   <object class="GtkAdjustment" id="adjustment6">
  101.     <property name="upper">32767</property>
  102.     <property name="lower">0</property>
  103.     <property name="page_increment">10</property>
  104.     <property name="step_increment">1</property>
  105.     <property name="page_size">0</property>
  106.     <property name="value">0</property>
  107.   </object>
  108.   <object class="GtkAdjustment" id="adjustment7">
  109.     <property name="upper">32767</property>
  110.     <property name="lower">0</property>
  111.     <property name="page_increment">10</property>
  112.     <property name="step_increment">1</property>
  113.     <property name="page_size">0</property>
  114.     <property name="value">0</property>
  115.   </object>
  116.   <object class="GtkAdjustment" id="adjustment8">
  117.     <property name="upper">32767</property>
  118.     <property name="lower">0</property>
  119.     <property name="page_increment">10</property>
  120.     <property name="step_increment">1</property>
  121.     <property name="page_size">0</property>
  122.     <property name="value">0</property>
  123.   </object>
  124.   <object class="GtkAdjustment" id="adjustment9">
  125.     <property name="upper">100</property>
  126.     <property name="lower">0</property>
  127.     <property name="page_increment">10</property>
  128.     <property name="step_increment">1</property>
  129.     <property name="page_size">0</property>
  130.     <property name="value">0</property>
  131.   </object>
  132.   <object class="GtkListStore" id="model1">
  133.     <columns>
  134.       <column type="gchararray"/>
  135.     </columns>
  136.     <data>
  137.       <row>
  138.         <col id="0" translatable="yes">px</col>
  139.       </row>
  140.       <row>
  141.         <col id="0" translatable="yes">%</col>
  142.       </row>
  143.     </data>
  144.   </object>
  145.   <object class="GtkListStore" id="model10">
  146.     <columns>
  147.       <column type="gchararray"/>
  148.     </columns>
  149.     <data>
  150.       <row>
  151.         <col id="0" translatable="yes">px</col>
  152.       </row>
  153.       <row>
  154.         <col id="0" translatable="yes">%</col>
  155.       </row>
  156.       <row>
  157.         <col id="0" translatable="yes">follow</col>
  158.       </row>
  159.     </data>
  160.   </object>
  161.   <object class="GtkListStore" id="model11">
  162.     <columns>
  163.       <column type="gchararray"/>
  164.     </columns>
  165.     <data>
  166.       <row>
  167.         <col id="0" translatable="yes">Top</col>
  168.       </row>
  169.       <row>
  170.         <col id="0" translatable="yes">Middle</col>
  171.       </row>
  172.       <row>
  173.         <col id="0" translatable="yes">Bottom</col>
  174.       </row>
  175.     </data>
  176.   </object>
  177.   <object class="GtkListStore" id="model2">
  178.     <columns>
  179.       <column type="gchararray"/>
  180.     </columns>
  181.     <data>
  182.       <row>
  183.         <col id="0" translatable="yes">Left</col>
  184.       </row>
  185.       <row>
  186.         <col id="0" translatable="yes">Center</col>
  187.       </row>
  188.       <row>
  189.         <col id="0" translatable="yes">Right</col>
  190.       </row>
  191.     </data>
  192.   </object>
  193.   <object class="GtkListStore" id="model3">
  194.     <columns>
  195.       <column type="gchararray"/>
  196.     </columns>
  197.     <data>
  198.       <row>
  199.         <col id="0" translatable="yes">px</col>
  200.       </row>
  201.       <row>
  202.         <col id="0" translatable="yes">%</col>
  203.       </row>
  204.     </data>
  205.   </object>
  206.   <object class="GtkListStore" id="model4">
  207.     <columns>
  208.       <column type="gchararray"/>
  209.     </columns>
  210.     <data>
  211.       <row>
  212.         <col id="0" translatable="yes">Left</col>
  213.       </row>
  214.       <row>
  215.         <col id="0" translatable="yes">Center</col>
  216.       </row>
  217.       <row>
  218.         <col id="0" translatable="yes">Right</col>
  219.       </row>
  220.     </data>
  221.   </object>
  222.   <object class="GtkListStore" id="model5">
  223.     <columns>
  224.       <column type="gchararray"/>
  225.     </columns>
  226.     <data>
  227.       <row>
  228.         <col id="0" translatable="yes">None</col>
  229.       </row>
  230.       <row>
  231.         <col id="0" translatable="yes">Perforated Paper</col>
  232.       </row>
  233.       <row>
  234.         <col id="0" translatable="yes">Blue Ink</col>
  235.       </row>
  236.       <row>
  237.         <col id="0" translatable="yes">Paper</col>
  238.       </row>
  239.       <row>
  240.         <col id="0" translatable="yes">Ribbon</col>
  241.       </row>
  242.       <row>
  243.         <col id="0" translatable="yes">Midnight</col>
  244.       </row>
  245.       <row>
  246.         <col id="0" translatable="yes">Confidential</col>
  247.       </row>
  248.       <row>
  249.         <col id="0" translatable="yes">Draft</col>
  250.       </row>
  251.       <row>
  252.         <col id="0" translatable="yes">Graph Paper</col>
  253.       </row>
  254.     </data>
  255.   </object>
  256.   <object class="GtkListStore" id="model6">
  257.     <columns>
  258.       <column type="gchararray"/>
  259.     </columns>
  260.     <data>
  261.       <row>
  262.         <col id="0" translatable="yes">Top</col>
  263.       </row>
  264.       <row>
  265.         <col id="0" translatable="yes">Middle</col>
  266.       </row>
  267.       <row>
  268.         <col id="0" translatable="yes">Bottom</col>
  269.       </row>
  270.     </data>
  271.   </object>
  272.   <object class="GtkListStore" id="model7">
  273.     <columns>
  274.       <column type="gchararray"/>
  275.     </columns>
  276.     <data>
  277.       <row>
  278.         <col id="0" translatable="yes">Left</col>
  279.       </row>
  280.       <row>
  281.         <col id="0" translatable="yes">Center</col>
  282.       </row>
  283.       <row>
  284.         <col id="0" translatable="yes">Right</col>
  285.       </row>
  286.     </data>
  287.   </object>
  288.   <object class="GtkListStore" id="model8">
  289.     <columns>
  290.       <column type="gchararray"/>
  291.     </columns>
  292.     <data>
  293.       <row>
  294.         <col id="0" translatable="yes">px</col>
  295.       </row>
  296.       <row>
  297.         <col id="0" translatable="yes">%</col>
  298.       </row>
  299.     </data>
  300.   </object>
  301.   <object class="GtkListStore" id="model9">
  302.     <columns>
  303.       <column type="gchararray"/>
  304.     </columns>
  305.     <data>
  306.       <row>
  307.         <col id="0" translatable="yes">px</col>
  308.       </row>
  309.       <row>
  310.         <col id="0" translatable="yes">%</col>
  311.       </row>
  312.       <row>
  313.         <col id="0" translatable="yes">follow</col>
  314.       </row>
  315.     </data>
  316.   </object>
  317.   <object class="GtkWindow" id="text-properties-window">
  318.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  319.     <property name="title" translatable="yes">Text Properties</property>
  320.     <property name="resizable">False</property>
  321.     <property name="modal">True</property>
  322.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  323.     <property name="destroy_with_parent">True</property>
  324.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  325.     <child>
  326.       <object class="GtkVBox" id="text-properties-vbox">
  327.         <property name="visible">True</property>
  328.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  329.         <property name="border_width">12</property>
  330.         <property name="spacing">12</property>
  331.         <child>
  332.           <object class="GtkHBox" id="text-properties-inner-hbox">
  333.             <property name="visible">True</property>
  334.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  335.             <property name="border_width">6</property>
  336.             <property name="spacing">12</property>
  337.             <child>
  338.               <object class="GtkTable" id="text-properties-table-left">
  339.                 <property name="visible">True</property>
  340.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  341.                 <property name="n_rows">4</property>
  342.                 <property name="n_columns">2</property>
  343.                 <property name="column_spacing">6</property>
  344.                 <property name="row_spacing">6</property>
  345.                 <child>
  346.                   <object class="GtkCheckButton" id="text-properties-strikethrough-button">
  347.                     <property name="visible">True</property>
  348.                     <property name="can_focus">True</property>
  349.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  350.                     <property name="label" translatable="yes">_Strikethrough</property>
  351.                     <property name="use_underline">True</property>
  352.                     <property name="draw_indicator">True</property>
  353.                   </object>
  354.                   <packing>
  355.                     <property name="left_attach">1</property>
  356.                     <property name="right_attach">2</property>
  357.                     <property name="top_attach">3</property>
  358.                     <property name="bottom_attach">4</property>
  359.                     <property name="y_options"/>
  360.                   </packing>
  361.                 </child>
  362.                 <child>
  363.                   <object class="GtkCheckButton" id="text-properties-underline-button">
  364.                     <property name="visible">True</property>
  365.                     <property name="can_focus">True</property>
  366.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  367.                     <property name="label" translatable="yes">_Underline</property>
  368.                     <property name="use_underline">True</property>
  369.                     <property name="draw_indicator">True</property>
  370.                   </object>
  371.                   <packing>
  372.                     <property name="left_attach">1</property>
  373.                     <property name="right_attach">2</property>
  374.                     <property name="top_attach">2</property>
  375.                     <property name="bottom_attach">3</property>
  376.                     <property name="y_options"/>
  377.                   </packing>
  378.                 </child>
  379.                 <child>
  380.                   <object class="GtkCheckButton" id="text-properties-italic-button">
  381.                     <property name="visible">True</property>
  382.                     <property name="can_focus">True</property>
  383.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  384.                     <property name="label" translatable="yes">_Italic</property>
  385.                     <property name="use_underline">True</property>
  386.                     <property name="draw_indicator">True</property>
  387.                   </object>
  388.                   <packing>
  389.                     <property name="left_attach">1</property>
  390.                     <property name="right_attach">2</property>
  391.                     <property name="top_attach">1</property>
  392.                     <property name="bottom_attach">2</property>
  393.                     <property name="y_options"/>
  394.                   </packing>
  395.                 </child>
  396.                 <child>
  397.                   <object class="GtkCheckButton" id="text-properties-bold-button">
  398.                     <property name="visible">True</property>
  399.                     <property name="can_focus">True</property>
  400.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  401.                     <property name="label" translatable="yes">_Bold</property>
  402.                     <property name="use_underline">True</property>
  403.                     <property name="draw_indicator">True</property>
  404.                   </object>
  405.                   <packing>
  406.                     <property name="left_attach">1</property>
  407.                     <property name="right_attach">2</property>
  408.                     <property name="y_options"/>
  409.                   </packing>
  410.                 </child>
  411.                 <child>
  412.                   <object class="GtkImage" id="text-properties-strikethrough-image">
  413.                     <property name="visible">True</property>
  414.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  415.                     <property name="stock">gtk-strikethrough</property>
  416.                   </object>
  417.                   <packing>
  418.                     <property name="top_attach">3</property>
  419.                     <property name="bottom_attach">4</property>
  420.                     <property name="x_options"/>
  421.                     <property name="y_options"/>
  422.                   </packing>
  423.                 </child>
  424.                 <child>
  425.                   <object class="GtkImage" id="text-properties-underline-image">
  426.                     <property name="visible">True</property>
  427.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  428.                     <property name="stock">gtk-underline</property>
  429.                   </object>
  430.                   <packing>
  431.                     <property name="top_attach">2</property>
  432.                     <property name="bottom_attach">3</property>
  433.                     <property name="x_options"/>
  434.                     <property name="y_options"/>
  435.                   </packing>
  436.                 </child>
  437.                 <child>
  438.                   <object class="GtkImage" id="text-properties-italic-image">
  439.                     <property name="visible">True</property>
  440.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  441.                     <property name="stock">gtk-italic</property>
  442.                   </object>
  443.                   <packing>
  444.                     <property name="top_attach">1</property>
  445.                     <property name="bottom_attach">2</property>
  446.                     <property name="x_options"/>
  447.                     <property name="y_options"/>
  448.                   </packing>
  449.                 </child>
  450.                 <child>
  451.                   <object class="GtkImage" id="text-properties-bold-image">
  452.                     <property name="visible">True</property>
  453.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  454.                     <property name="stock">gtk-bold</property>
  455.                   </object>
  456.                   <packing>
  457.                     <property name="x_options"/>
  458.                     <property name="y_options"/>
  459.                   </packing>
  460.                 </child>
  461.               </object>
  462.             </child>
  463.             <child>
  464.               <object class="GtkTable" id="text-properties-table-right">
  465.                 <property name="visible">True</property>
  466.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  467.                 <property name="n_rows">3</property>
  468.                 <property name="n_columns">2</property>
  469.                 <property name="column_spacing">6</property>
  470.                 <property name="row_spacing">6</property>
  471.                 <child>
  472.                   <object class="GtkhtmlColorCombo" id="text-properties-color-combo">
  473.                     <property name="visible">True</property>
  474.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  475.                     <property name="default_label">Automatic</property>
  476.                   </object>
  477.                   <packing>
  478.                     <property name="left_attach">1</property>
  479.                     <property name="right_attach">2</property>
  480.                     <property name="y_options">GTK_FILL</property>
  481.                   </packing>
  482.                 </child>
  483.                 <child>
  484.                   <object class="GtkLabel" id="text-properties-size-label">
  485.                     <property name="visible">True</property>
  486.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  487.                     <property name="label" translatable="yes">Si_ze:</property>
  488.                     <property name="use_underline">True</property>
  489.                   </object>
  490.                   <packing>
  491.                     <property name="top_attach">1</property>
  492.                     <property name="bottom_attach">2</property>
  493.                     <property name="x_options">GTK_FILL</property>
  494.                     <property name="y_options"/>
  495.                   </packing>
  496.                 </child>
  497.                 <child>
  498.                   <object class="GtkLabel" id="text-properties-color-label">
  499.                     <property name="visible">True</property>
  500.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  501.                     <property name="label" translatable="yes">_Color:</property>
  502.                     <property name="use_underline">True</property>
  503.                   </object>
  504.                   <packing>
  505.                     <property name="x_options">GTK_FILL</property>
  506.                     <property name="y_options"/>
  507.                   </packing>
  508.                 </child>
  509.                 <child>
  510.                   <object class="GtkAlignment" id="text-properties-alignment">
  511.                     <property name="visible">True</property>
  512.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  513.                     <child>
  514.                       <placeholder/>
  515.                     </child>
  516.                   </object>
  517.                   <packing>
  518.                     <property name="right_attach">2</property>
  519.                     <property name="top_attach">2</property>
  520.                     <property name="bottom_attach">3</property>
  521.                   </packing>
  522.                 </child>
  523.                 <child>
  524.                   <object class="GtkhtmlComboBox" id="text-properties-size-combo-box">
  525.                     <property name="visible">True</property>
  526.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  527.                   </object>
  528.                   <packing>
  529.                     <property name="left_attach">1</property>
  530.                     <property name="right_attach">2</property>
  531.                     <property name="top_attach">1</property>
  532.                     <property name="bottom_attach">2</property>
  533.                     <property name="y_options"/>
  534.                   </packing>
  535.                 </child>
  536.               </object>
  537.               <packing>
  538.                 <property name="position">1</property>
  539.               </packing>
  540.             </child>
  541.           </object>
  542.         </child>
  543.         <child>
  544.           <object class="GtkHButtonBox" id="text-properties-button-box">
  545.             <property name="visible">True</property>
  546.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  547.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  548.             <child>
  549.               <object class="GtkButton" id="text-properties-ok-button">
  550.                 <property name="visible">True</property>
  551.                 <property name="can_focus">True</property>
  552.                 <property name="receives_default">True</property>
  553.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  554.                 <property name="label">gtk-ok</property>
  555.                 <property name="use_stock">True</property>
  556.                 <signal handler="gtk_widget_hide" name="clicked" object="text-properties-window"/>
  557.               </object>
  558.               <packing>
  559.                 <property name="position">1</property>
  560.               </packing>
  561.             </child>
  562.           </object>
  563.           <packing>
  564.             <property name="expand">False</property>
  565.             <property name="fill">False</property>
  566.             <property name="pack_type">GTK_PACK_END</property>
  567.             <property name="position">1</property>
  568.           </packing>
  569.         </child>
  570.       </object>
  571.     </child>
  572.   </object>
  573.   <object class="GtkWindow" id="paragraph-properties-window">
  574.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  575.     <property name="title" translatable="yes">Paragraph Properties</property>
  576.     <property name="resizable">False</property>
  577.     <property name="modal">True</property>
  578.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  579.     <property name="destroy_with_parent">True</property>
  580.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  581.     <child>
  582.       <object class="GtkVBox" id="paragraph-properties-vbox">
  583.         <property name="visible">True</property>
  584.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  585.         <property name="border_width">12</property>
  586.         <property name="spacing">12</property>
  587.         <child>
  588.           <object class="GtkVBox" id="paragraph-properties-general-vbox">
  589.             <property name="visible">True</property>
  590.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  591.             <property name="spacing">6</property>
  592.             <child>
  593.               <object class="GtkLabel" id="paragraph-properties-general-label">
  594.                 <property name="visible">True</property>
  595.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  596.                 <property name="xalign">0</property>
  597.                 <property name="label" translatable="yes">General</property>
  598.                 <attributes>
  599.                   <attribute name="weight" value="bold"/>
  600.                 </attributes>
  601.               </object>
  602.               <packing>
  603.                 <property name="expand">False</property>
  604.                 <property name="fill">False</property>
  605.               </packing>
  606.             </child>
  607.             <child>
  608.               <object class="GtkAlignment" id="paragraph-properties-general-alignment">
  609.                 <property name="visible">True</property>
  610.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  611.                 <property name="left_padding">12</property>
  612.                 <child>
  613.                   <object class="GtkHBox" id="paragraph-properties-general-hbox">
  614.                     <property name="visible">True</property>
  615.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  616.                     <property name="spacing">6</property>
  617.                     <child>
  618.                       <object class="GtkLabel" id="paragraph-properties-general-style-label">
  619.                         <property name="visible">True</property>
  620.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  621.                         <property name="xalign">0</property>
  622.                         <property name="label" translatable="yes">_Style:</property>
  623.                         <property name="use_underline">True</property>
  624.                       </object>
  625.                       <packing>
  626.                         <property name="expand">False</property>
  627.                         <property name="fill">False</property>
  628.                       </packing>
  629.                     </child>
  630.                     <child>
  631.                       <object class="GtkhtmlComboBox" id="paragraph-properties-style-combo-box">
  632.                         <property name="visible">True</property>
  633.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  634.                       </object>
  635.                       <packing>
  636.                         <property name="expand">False</property>
  637.                         <property name="fill">False</property>
  638.                         <property name="position">1</property>
  639.                       </packing>
  640.                     </child>
  641.                   </object>
  642.                 </child>
  643.               </object>
  644.               <packing>
  645.                 <property name="expand">False</property>
  646.                 <property name="fill">False</property>
  647.                 <property name="position">1</property>
  648.               </packing>
  649.             </child>
  650.           </object>
  651.         </child>
  652.         <child>
  653.           <object class="GtkVBox" id="paragraph-properties-alignment-vbox">
  654.             <property name="visible">True</property>
  655.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  656.             <property name="spacing">6</property>
  657.             <child>
  658.               <object class="GtkLabel" id="paragraph-properties-alignment-label">
  659.                 <property name="visible">True</property>
  660.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  661.                 <property name="xalign">0</property>
  662.                 <property name="label" translatable="yes">Alignment</property>
  663.                 <attributes>
  664.                   <attribute name="weight" value="bold"/>
  665.                 </attributes>
  666.               </object>
  667.               <packing>
  668.                 <property name="expand">False</property>
  669.                 <property name="fill">False</property>
  670.               </packing>
  671.             </child>
  672.             <child>
  673.               <object class="GtkAlignment" id="paragraph-properties-alignment-alignment">
  674.                 <property name="visible">True</property>
  675.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  676.                 <property name="left_padding">12</property>
  677.                 <child>
  678.                   <object class="GtkHButtonBox" id="paragraph-properties-alignment-button-box">
  679.                     <property name="visible">True</property>
  680.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  681.                     <property name="spacing">6</property>
  682.                     <property name="homogeneous">True</property>
  683.                     <child>
  684.                       <object class="GtkToggleButton" id="paragraph-properties-left-button">
  685.                         <property name="visible">True</property>
  686.                         <property name="can_focus">True</property>
  687.                         <property name="receives_default">True</property>
  688.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  689.                         <property name="label">gtk-justify-left</property>
  690.                         <property name="use_stock">True</property>
  691.                       </object>
  692.                     </child>
  693.                     <child>
  694.                       <object class="GtkToggleButton" id="paragraph-properties-center-button">
  695.                         <property name="visible">True</property>
  696.                         <property name="can_focus">True</property>
  697.                         <property name="receives_default">True</property>
  698.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  699.                         <property name="label">gtk-justify-center</property>
  700.                         <property name="use_stock">True</property>
  701.                       </object>
  702.                       <packing>
  703.                         <property name="position">1</property>
  704.                       </packing>
  705.                     </child>
  706.                     <child>
  707.                       <object class="GtkToggleButton" id="paragraph-properties-right-button">
  708.                         <property name="visible">True</property>
  709.                         <property name="can_focus">True</property>
  710.                         <property name="receives_default">True</property>
  711.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  712.                         <property name="label">gtk-justify-right</property>
  713.                         <property name="use_stock">True</property>
  714.                       </object>
  715.                       <packing>
  716.                         <property name="position">2</property>
  717.                       </packing>
  718.                     </child>
  719.                   </object>
  720.                 </child>
  721.               </object>
  722.               <packing>
  723.                 <property name="expand">False</property>
  724.                 <property name="fill">False</property>
  725.                 <property name="position">1</property>
  726.               </packing>
  727.             </child>
  728.           </object>
  729.           <packing>
  730.             <property name="position">1</property>
  731.           </packing>
  732.         </child>
  733.         <child>
  734.           <object class="GtkHButtonBox" id="paragraph-properties-button-box">
  735.             <property name="visible">True</property>
  736.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  737.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  738.             <child>
  739.               <object class="GtkButton" id="paragraph-properties-ok-button">
  740.                 <property name="visible">True</property>
  741.                 <property name="can_focus">True</property>
  742.                 <property name="receives_default">True</property>
  743.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  744.                 <property name="label">gtk-ok</property>
  745.                 <property name="use_stock">True</property>
  746.                 <signal handler="gtk_widget_hide" name="clicked" object="paragraph-properties-window"/>
  747.               </object>
  748.               <packing>
  749.                 <property name="position">1</property>
  750.               </packing>
  751.             </child>
  752.           </object>
  753.           <packing>
  754.             <property name="expand">False</property>
  755.             <property name="fill">False</property>
  756.             <property name="pack_type">GTK_PACK_END</property>
  757.             <property name="position">2</property>
  758.           </packing>
  759.         </child>
  760.       </object>
  761.     </child>
  762.   </object>
  763.   <object class="GtkWindow" id="find-window">
  764.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  765.     <property name="title" translatable="yes">Find</property>
  766.     <property name="resizable">False</property>
  767.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  768.     <property name="destroy_with_parent">True</property>
  769.     <property name="icon_name">gtk-find</property>
  770.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  771.     <signal handler="gtk_widget_grab_focus" name="show" object="find-entry"/>
  772.     <child>
  773.       <object class="GtkVBox" id="find-vbox">
  774.         <property name="visible">True</property>
  775.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  776.         <property name="border_width">12</property>
  777.         <property name="spacing">12</property>
  778.         <child>
  779.           <object class="GtkVBox" id="find-inner-vbox">
  780.             <property name="visible">True</property>
  781.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  782.             <property name="spacing">6</property>
  783.             <child>
  784.               <object class="GtkEntry" id="find-entry">
  785.                 <property name="visible">True</property>
  786.                 <property name="can_focus">True</property>
  787.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  788.                 <property name="activates_default">True</property>
  789.                 <signal handler="gtkhtml_editor_find_entry_changed_cb" name="changed" object="find-window"/>
  790.                 <signal handler="gtkhtml_editor_find_entry_activate_cb" name="activate" object="find-window"/>
  791.               </object>
  792.               <packing>
  793.                 <property name="expand">False</property>
  794.                 <property name="fill">False</property>
  795.               </packing>
  796.             </child>
  797.             <child>
  798.               <object class="GtkHBox" id="find-hbox">
  799.                 <property name="visible">True</property>
  800.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  801.                 <property name="spacing">6</property>
  802.                 <child>
  803.                   <object class="GtkCheckButton" id="find-backwards">
  804.                     <property name="visible">True</property>
  805.                     <property name="can_focus">True</property>
  806.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  807.                     <property name="label" translatable="yes">Search _backwards</property>
  808.                     <property name="use_underline">True</property>
  809.                     <property name="draw_indicator">True</property>
  810.                     <signal handler="gtkhtml_editor_find_backwards_toggled_cb" name="toggled" object="find-window"/>
  811.                   </object>
  812.                 </child>
  813.                 <child>
  814.                   <object class="GtkCheckButton" id="find-case-sensitive">
  815.                     <property name="visible">True</property>
  816.                     <property name="can_focus">True</property>
  817.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  818.                     <property name="label" translatable="yes">Case _sensitive</property>
  819.                     <property name="use_underline">True</property>
  820.                     <property name="draw_indicator">True</property>
  821.                     <signal handler="gtkhtml_editor_find_case_sensitive_toggled_cb" name="toggled" object="find-window"/>
  822.                   </object>
  823.                   <packing>
  824.                     <property name="position">1</property>
  825.                   </packing>
  826.                 </child>
  827.                 <child>
  828.                   <object class="GtkCheckButton" id="find-regular-expression">
  829.                     <property name="visible">True</property>
  830.                     <property name="can_focus">True</property>
  831.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  832.                     <property name="label" translatable="yes">_Regular expression</property>
  833.                     <property name="use_underline">True</property>
  834.                     <property name="draw_indicator">True</property>
  835.                     <signal handler="gtkhtml_editor_find_regular_expression_toggled_cb" name="toggled" object="find-window"/>
  836.                   </object>
  837.                   <packing>
  838.                     <property name="position">2</property>
  839.                   </packing>
  840.                 </child>
  841.               </object>
  842.               <packing>
  843.                 <property name="expand">False</property>
  844.                 <property name="fill">False</property>
  845.                 <property name="position">1</property>
  846.               </packing>
  847.             </child>
  848.           </object>
  849.           <packing>
  850.             <property name="expand">False</property>
  851.             <property name="fill">False</property>
  852.           </packing>
  853.         </child>
  854.         <child>
  855.           <object class="GtkHButtonBox" id="find-button-box">
  856.             <property name="visible">True</property>
  857.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  858.             <property name="spacing">12</property>
  859.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  860.             <child>
  861.               <object class="GtkButton" id="find-close-button">
  862.                 <property name="visible">True</property>
  863.                 <property name="can_focus">True</property>
  864.                 <property name="receives_default">True</property>
  865.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  866.                 <property name="label">gtk-close</property>
  867.                 <property name="use_stock">True</property>
  868.                 <signal handler="gtk_widget_hide" name="clicked" object="find-window"/>
  869.               </object>
  870.             </child>
  871.             <child>
  872.               <object class="GtkButton" id="find-button">
  873.                 <property name="visible">True</property>
  874.                 <property name="can_focus">True</property>
  875.                 <property name="can_default">True</property>
  876.                 <property name="has_default">True</property>
  877.                 <property name="receives_default">True</property>
  878.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  879.                 <property name="label">gtk-find</property>
  880.                 <property name="use_stock">True</property>
  881.               </object>
  882.               <packing>
  883.                 <property name="position">1</property>
  884.               </packing>
  885.             </child>
  886.           </object>
  887.           <packing>
  888.             <property name="expand">False</property>
  889.             <property name="fill">False</property>
  890.             <property name="pack_type">GTK_PACK_END</property>
  891.             <property name="position">1</property>
  892.           </packing>
  893.         </child>
  894.       </object>
  895.     </child>
  896.   </object>
  897.   <object class="GtkWindow" id="replace-window">
  898.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  899.     <property name="title" translatable="yes">Replace</property>
  900.     <property name="resizable">False</property>
  901.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  902.     <property name="destroy_with_parent">True</property>
  903.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  904.     <signal handler="gtk_widget_grab_focus" name="show" object="replace-entry"/>
  905.     <child>
  906.       <object class="GtkVBox" id="replace-vbox">
  907.         <property name="visible">True</property>
  908.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  909.         <property name="extension_events">GDK_EXTENSION_EVENTS_ALL</property>
  910.         <property name="border_width">12</property>
  911.         <property name="spacing">12</property>
  912.         <child>
  913.           <object class="GtkTable" id="replace-table">
  914.             <property name="visible">True</property>
  915.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  916.             <property name="n_rows">3</property>
  917.             <property name="n_columns">3</property>
  918.             <property name="column_spacing">6</property>
  919.             <property name="row_spacing">6</property>
  920.             <child>
  921.               <object class="GtkEntry" id="replace-with-entry">
  922.                 <property name="visible">True</property>
  923.                 <property name="can_focus">True</property>
  924.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  925.               </object>
  926.               <packing>
  927.                 <property name="left_attach">1</property>
  928.                 <property name="right_attach">3</property>
  929.                 <property name="top_attach">1</property>
  930.                 <property name="bottom_attach">2</property>
  931.               </packing>
  932.             </child>
  933.             <child>
  934.               <object class="GtkEntry" id="replace-entry">
  935.                 <property name="visible">True</property>
  936.                 <property name="can_focus">True</property>
  937.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  938.               </object>
  939.               <packing>
  940.                 <property name="left_attach">1</property>
  941.                 <property name="right_attach">3</property>
  942.               </packing>
  943.             </child>
  944.             <child>
  945.               <object class="GtkLabel" id="replace-with-label">
  946.                 <property name="visible">True</property>
  947.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  948.                 <property name="xalign">1</property>
  949.                 <property name="label" translatable="yes">_With:</property>
  950.                 <property name="use_underline">True</property>
  951.                 <property name="mnemonic_widget">replace-with-entry</property>
  952.               </object>
  953.               <packing>
  954.                 <property name="top_attach">1</property>
  955.                 <property name="bottom_attach">2</property>
  956.                 <property name="x_options">GTK_FILL</property>
  957.                 <property name="y_options"/>
  958.               </packing>
  959.             </child>
  960.             <child>
  961.               <object class="GtkLabel" id="replace-label">
  962.                 <property name="visible">True</property>
  963.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  964.                 <property name="xalign">1</property>
  965.                 <property name="label" translatable="yes">R_eplace:</property>
  966.                 <property name="use_underline">True</property>
  967.                 <property name="mnemonic_widget">replace-entry</property>
  968.               </object>
  969.               <packing>
  970.                 <property name="x_options">GTK_FILL</property>
  971.                 <property name="y_options"/>
  972.               </packing>
  973.             </child>
  974.             <child>
  975.               <object class="GtkCheckButton" id="replace-backwards">
  976.                 <property name="visible">True</property>
  977.                 <property name="can_focus">True</property>
  978.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  979.                 <property name="label" translatable="yes">Search _backwards</property>
  980.                 <property name="use_underline">True</property>
  981.                 <property name="draw_indicator">True</property>
  982.               </object>
  983.               <packing>
  984.                 <property name="left_attach">1</property>
  985.                 <property name="right_attach">2</property>
  986.                 <property name="top_attach">2</property>
  987.                 <property name="bottom_attach">3</property>
  988.                 <property name="x_options"/>
  989.                 <property name="y_options"/>
  990.               </packing>
  991.             </child>
  992.             <child>
  993.               <object class="GtkCheckButton" id="replace-case-sensitive">
  994.                 <property name="visible">True</property>
  995.                 <property name="can_focus">True</property>
  996.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  997.                 <property name="label" translatable="yes">Case _sensitive</property>
  998.                 <property name="use_underline">True</property>
  999.                 <property name="draw_indicator">True</property>
  1000.               </object>
  1001.               <packing>
  1002.                 <property name="left_attach">2</property>
  1003.                 <property name="right_attach">3</property>
  1004.                 <property name="top_attach">2</property>
  1005.                 <property name="bottom_attach">3</property>
  1006.                 <property name="y_options"/>
  1007.               </packing>
  1008.             </child>
  1009.             <child>
  1010.               <object class="GtkAlignment" id="replace-alignment">
  1011.                 <property name="visible">True</property>
  1012.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1013.                 <child>
  1014.                   <placeholder/>
  1015.                 </child>
  1016.               </object>
  1017.               <packing>
  1018.                 <property name="top_attach">2</property>
  1019.                 <property name="bottom_attach">3</property>
  1020.                 <property name="x_options"/>
  1021.                 <property name="y_options"/>
  1022.               </packing>
  1023.             </child>
  1024.           </object>
  1025.           <packing>
  1026.             <property name="expand">False</property>
  1027.             <property name="fill">False</property>
  1028.           </packing>
  1029.         </child>
  1030.         <child>
  1031.           <object class="GtkHButtonBox" id="replace-button-box">
  1032.             <property name="visible">True</property>
  1033.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1034.             <property name="spacing">12</property>
  1035.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  1036.             <child>
  1037.               <object class="GtkButton" id="replace-close-button">
  1038.                 <property name="visible">True</property>
  1039.                 <property name="can_focus">True</property>
  1040.                 <property name="receives_default">True</property>
  1041.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1042.                 <property name="label">gtk-close</property>
  1043.                 <property name="use_stock">True</property>
  1044.                 <signal handler="gtk_widget_hide" name="clicked" object="replace-window"/>
  1045.               </object>
  1046.             </child>
  1047.             <child>
  1048.               <object class="GtkButton" id="replace-button">
  1049.                 <property name="visible">True</property>
  1050.                 <property name="can_focus">True</property>
  1051.                 <property name="can_default">True</property>
  1052.                 <property name="has_default">True</property>
  1053.                 <property name="receives_default">True</property>
  1054.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1055.                 <property name="label">gtk-find-and-replace</property>
  1056.                 <property name="use_stock">True</property>
  1057.               </object>
  1058.               <packing>
  1059.                 <property name="position">1</property>
  1060.               </packing>
  1061.             </child>
  1062.           </object>
  1063.           <packing>
  1064.             <property name="expand">False</property>
  1065.             <property name="fill">False</property>
  1066.             <property name="pack_type">GTK_PACK_END</property>
  1067.             <property name="position">1</property>
  1068.           </packing>
  1069.         </child>
  1070.       </object>
  1071.     </child>
  1072.   </object>
  1073.   <object class="GtkWindow" id="replace-confirmation-window">
  1074.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1075.     <property name="title" translatable="yes">Replace Confirmation</property>
  1076.     <property name="resizable">False</property>
  1077.     <property name="destroy_with_parent">True</property>
  1078.     <property name="icon_name">gtk-find-and-replace</property>
  1079.     <signal handler="gtkhtml_editor_replace_confirmation_delete_event_cb" name="delete_event"/>
  1080.     <child>
  1081.       <object class="GtkHButtonBox" id="replace-confirmation-button-box">
  1082.         <property name="visible">True</property>
  1083.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1084.         <property name="border_width">12</property>
  1085.         <property name="spacing">12</property>
  1086.         <property name="homogeneous">True</property>
  1087.         <child>
  1088.           <object class="GtkButton" id="replace-confirmation-replace-all-button">
  1089.             <property name="visible">True</property>
  1090.             <property name="can_focus">True</property>
  1091.             <property name="receives_default">True</property>
  1092.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1093.           </object>
  1094.         </child>
  1095.         <child>
  1096.           <object class="GtkButton" id="replace-confirmation-next-button">
  1097.             <property name="visible">True</property>
  1098.             <property name="can_focus">True</property>
  1099.             <property name="receives_default">True</property>
  1100.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1101.           </object>
  1102.           <packing>
  1103.             <property name="position">1</property>
  1104.           </packing>
  1105.         </child>
  1106.         <child>
  1107.           <object class="GtkButton" id="replace-confirmation-close-button">
  1108.             <property name="visible">True</property>
  1109.             <property name="can_focus">True</property>
  1110.             <property name="receives_default">True</property>
  1111.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1112.             <property name="use_stock">True</property>
  1113.           </object>
  1114.           <packing>
  1115.             <property name="position">2</property>
  1116.           </packing>
  1117.         </child>
  1118.         <child>
  1119.           <object class="GtkButton" id="replace-confirmation-replace-button">
  1120.             <property name="visible">True</property>
  1121.             <property name="can_focus">True</property>
  1122.             <property name="receives_default">True</property>
  1123.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1124.           </object>
  1125.           <packing>
  1126.             <property name="position">3</property>
  1127.           </packing>
  1128.         </child>
  1129.       </object>
  1130.     </child>
  1131.   </object>
  1132.   <object class="GtkWindow" id="link-properties-window">
  1133.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1134.     <property name="title" translatable="yes">Link Properties</property>
  1135.     <property name="modal">True</property>
  1136.     <property name="window_position">GTK_WIN_POS_CENTER</property>
  1137.     <property name="destroy_with_parent">True</property>
  1138.     <signal handler="gtkhtml_editor_link_properties_show_window_cb" name="show"/>
  1139.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  1140.     <child>
  1141.       <object class="GtkVBox" id="link-properties-vbox">
  1142.         <property name="visible">True</property>
  1143.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1144.         <property name="border_width">12</property>
  1145.         <property name="spacing">12</property>
  1146.         <child>
  1147.           <object class="GtkTable" id="link-properties-table">
  1148.             <property name="visible">True</property>
  1149.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1150.             <property name="n_rows">2</property>
  1151.             <property name="n_columns">3</property>
  1152.             <property name="column_spacing">6</property>
  1153.             <property name="row_spacing">6</property>
  1154.             <child>
  1155.               <object class="GtkLabel" id="link-properties-url-label">
  1156.                 <property name="visible">True</property>
  1157.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1158.                 <property name="xalign">1</property>
  1159.                 <property name="label" translatable="yes">_URL:</property>
  1160.                 <property name="use_underline">True</property>
  1161.                 <property name="mnemonic_widget">link-properties-url-entry</property>
  1162.               </object>
  1163.               <packing>
  1164.                 <property name="x_options">GTK_FILL</property>
  1165.                 <property name="y_options"/>
  1166.               </packing>
  1167.             </child>
  1168.             <child>
  1169.               <object class="GtkLabel" id="link-properties-description-label">
  1170.                 <property name="visible">True</property>
  1171.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1172.                 <property name="label" translatable="yes">_Description:</property>
  1173.                 <property name="use_underline">True</property>
  1174.                 <property name="mnemonic_widget">link-properties-description-entry</property>
  1175.               </object>
  1176.               <packing>
  1177.                 <property name="top_attach">1</property>
  1178.                 <property name="bottom_attach">2</property>
  1179.                 <property name="x_options">GTK_FILL</property>
  1180.                 <property name="y_options"/>
  1181.               </packing>
  1182.             </child>
  1183.             <child>
  1184.               <object class="GtkEntry" id="link-properties-url-entry">
  1185.                 <property name="visible">True</property>
  1186.                 <property name="can_focus">True</property>
  1187.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1188.                 <signal handler="gtkhtml_editor_link_properties_url_changed_cb" name="changed" object="link-properties-window"/>
  1189.               </object>
  1190.               <packing>
  1191.                 <property name="left_attach">1</property>
  1192.                 <property name="right_attach">2</property>
  1193.                 <property name="y_options"/>
  1194.               </packing>
  1195.             </child>
  1196.             <child>
  1197.               <object class="GtkEntry" id="link-properties-description-entry">
  1198.                 <property name="visible">True</property>
  1199.                 <property name="can_focus">True</property>
  1200.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1201.                 <signal handler="gtkhtml_editor_link_properties_description_changed_cb" name="changed" object="link-properties-window"/>
  1202.               </object>
  1203.               <packing>
  1204.                 <property name="left_attach">1</property>
  1205.                 <property name="right_attach">3</property>
  1206.                 <property name="top_attach">1</property>
  1207.                 <property name="bottom_attach">2</property>
  1208.                 <property name="y_options"/>
  1209.               </packing>
  1210.             </child>
  1211.             <child>
  1212.               <object class="GtkButton" id="link-properties-test-button">
  1213.                 <property name="visible">True</property>
  1214.                 <property name="can_focus">True</property>
  1215.                 <property name="receives_default">True</property>
  1216.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1217.                 <property name="use_underline">True</property>
  1218.               </object>
  1219.               <packing>
  1220.                 <property name="left_attach">2</property>
  1221.                 <property name="right_attach">3</property>
  1222.                 <property name="x_options"/>
  1223.                 <property name="y_options"/>
  1224.               </packing>
  1225.             </child>
  1226.           </object>
  1227.         </child>
  1228.         <child>
  1229.           <object class="GtkHButtonBox" id="link-properties-button-box">
  1230.             <property name="visible">True</property>
  1231.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1232.             <property name="spacing">6</property>
  1233.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  1234.             <child>
  1235.               <object class="GtkButton" id="link-properties-close-button">
  1236.                 <property name="visible">True</property>
  1237.                 <property name="can_focus">True</property>
  1238.                 <property name="receives_default">True</property>
  1239.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1240.                 <property name="label">gtk-close</property>
  1241.                 <property name="use_stock">True</property>
  1242.                 <signal handler="gtk_widget_hide" name="clicked" object="link-properties-window"/>
  1243.               </object>
  1244.               <packing>
  1245.                 <property name="position">1</property>
  1246.               </packing>
  1247.             </child>
  1248.           </object>
  1249.           <packing>
  1250.             <property name="expand">False</property>
  1251.             <property name="fill">False</property>
  1252.             <property name="pack_type">GTK_PACK_END</property>
  1253.             <property name="position">1</property>
  1254.           </packing>
  1255.         </child>
  1256.       </object>
  1257.     </child>
  1258.   </object>
  1259.   <object class="GtkWindow" id="rule-properties-window">
  1260.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1261.     <property name="border_width">12</property>
  1262.     <property name="title" translatable="yes">Rule Properties</property>
  1263.     <property name="resizable">False</property>
  1264.     <property name="modal">True</property>
  1265.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  1266.     <property name="destroy_with_parent">True</property>
  1267.     <signal handler="gtkhtml_editor_rule_properties_show_window_cb" name="show"/>
  1268.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  1269.     <child>
  1270.       <object class="GtkVBox" id="rule-properties-vbox">
  1271.         <property name="visible">True</property>
  1272.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1273.         <property name="spacing">12</property>
  1274.         <child>
  1275.           <object class="GtkVBox" id="rule-properties-size-vbox">
  1276.             <property name="visible">True</property>
  1277.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1278.             <property name="spacing">6</property>
  1279.             <child>
  1280.               <object class="GtkLabel" id="rule-properties-size-header">
  1281.                 <property name="visible">True</property>
  1282.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1283.                 <property name="xalign">0</property>
  1284.                 <property name="label" translatable="yes">Size</property>
  1285.                 <attributes>
  1286.                   <attribute name="weight" value="bold"/>
  1287.                 </attributes>
  1288.               </object>
  1289.             </child>
  1290.             <child>
  1291.               <object class="GtkAlignment" id="rule-properties-size-alignment">
  1292.                 <property name="visible">True</property>
  1293.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1294.                 <property name="left_padding">12</property>
  1295.                 <child>
  1296.                   <object class="GtkTable" id="rule-properties-size-table">
  1297.                     <property name="visible">True</property>
  1298.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1299.                     <property name="n_rows">2</property>
  1300.                     <property name="n_columns">3</property>
  1301.                     <property name="column_spacing">6</property>
  1302.                     <property name="row_spacing">6</property>
  1303.                     <child>
  1304.                       <placeholder/>
  1305.                     </child>
  1306.                     <child>
  1307.                       <object class="GtkLabel" id="rule-properties-width-label">
  1308.                         <property name="visible">True</property>
  1309.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1310.                         <property name="xalign">1</property>
  1311.                         <property name="label" translatable="yes">_Width:</property>
  1312.                         <property name="use_underline">True</property>
  1313.                       </object>
  1314.                       <packing>
  1315.                         <property name="x_options"/>
  1316.                         <property name="y_options"/>
  1317.                       </packing>
  1318.                     </child>
  1319.                     <child>
  1320.                       <object class="GtkSpinButton" id="rule-properties-width-spin-button">
  1321.                         <property name="width_request">100</property>
  1322.                         <property name="visible">True</property>
  1323.                         <property name="can_focus">True</property>
  1324.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1325.                         <property name="adjustment">adjustment1</property>
  1326.                         <signal handler="gtkhtml_editor_rule_properties_width_changed_cb" name="value_changed" object="rule-properties-window"/>
  1327.                       </object>
  1328.                       <packing>
  1329.                         <property name="left_attach">1</property>
  1330.                         <property name="right_attach">2</property>
  1331.                         <property name="y_options"/>
  1332.                       </packing>
  1333.                     </child>
  1334.                     <child>
  1335.                       <object class="GtkLabel" id="rule-properties-size-label">
  1336.                         <property name="visible">True</property>
  1337.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1338.                         <property name="xalign">1</property>
  1339.                         <property name="label" translatable="yes">_Size:</property>
  1340.                         <property name="use_underline">True</property>
  1341.                       </object>
  1342.                       <packing>
  1343.                         <property name="top_attach">1</property>
  1344.                         <property name="bottom_attach">2</property>
  1345.                         <property name="x_options"/>
  1346.                         <property name="y_options"/>
  1347.                       </packing>
  1348.                     </child>
  1349.                     <child>
  1350.                       <object class="GtkSpinButton" id="rule-properties-size-spin-button">
  1351.                         <property name="visible">True</property>
  1352.                         <property name="can_focus">True</property>
  1353.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1354.                         <property name="adjustment">adjustment2</property>
  1355.                         <signal handler="gtkhtml_editor_rule_properties_size_changed_cb" name="value_changed" object="rule-properties-window"/>
  1356.                       </object>
  1357.                       <packing>
  1358.                         <property name="left_attach">1</property>
  1359.                         <property name="right_attach">2</property>
  1360.                         <property name="top_attach">1</property>
  1361.                         <property name="bottom_attach">2</property>
  1362.                         <property name="y_options"/>
  1363.                       </packing>
  1364.                     </child>
  1365.                     <child>
  1366.                       <object class="GtkComboBox" id="rule-properties-width-combo-box">
  1367.                         <property name="visible">True</property>
  1368.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1369.                         <signal handler="gtkhtml_editor_rule_properties_width_changed_cb" name="changed" object="rule-properties-window"/>
  1370.                         <property name="model">model1</property>
  1371.                         <child>
  1372.                           <object class="GtkCellRendererText" id="renderer1"/>
  1373.                           <attributes>
  1374.                             <attribute name="text">0</attribute>
  1375.                           </attributes>
  1376.                         </child>
  1377.                       </object>
  1378.                       <packing>
  1379.                         <property name="left_attach">2</property>
  1380.                         <property name="right_attach">3</property>
  1381.                         <property name="x_options"/>
  1382.                         <property name="y_options"/>
  1383.                       </packing>
  1384.                     </child>
  1385.                   </object>
  1386.                 </child>
  1387.               </object>
  1388.               <packing>
  1389.                 <property name="position">1</property>
  1390.               </packing>
  1391.             </child>
  1392.           </object>
  1393.           <packing>
  1394.             <property name="expand">False</property>
  1395.             <property name="fill">False</property>
  1396.           </packing>
  1397.         </child>
  1398.         <child>
  1399.           <object class="GtkVBox" id="rule-properties-style-vbox">
  1400.             <property name="visible">True</property>
  1401.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1402.             <property name="spacing">6</property>
  1403.             <child>
  1404.               <object class="GtkLabel" id="rule-properties-style-header">
  1405.                 <property name="visible">True</property>
  1406.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1407.                 <property name="xalign">0</property>
  1408.                 <property name="label" translatable="yes">Style</property>
  1409.                 <attributes>
  1410.                   <attribute name="weight" value="bold"/>
  1411.                 </attributes>
  1412.               </object>
  1413.             </child>
  1414.             <child>
  1415.               <object class="GtkAlignment" id="rule-properties-style-alignment">
  1416.                 <property name="visible">True</property>
  1417.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1418.                 <property name="left_padding">12</property>
  1419.                 <child>
  1420.                   <object class="GtkTable" id="rule-properties-style-table">
  1421.                     <property name="visible">True</property>
  1422.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1423.                     <property name="n_rows">2</property>
  1424.                     <property name="n_columns">2</property>
  1425.                     <property name="column_spacing">6</property>
  1426.                     <property name="row_spacing">6</property>
  1427.                     <child>
  1428.                       <object class="GtkLabel" id="rule-properties-alignment-label">
  1429.                         <property name="visible">True</property>
  1430.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1431.                         <property name="xalign">1</property>
  1432.                         <property name="label" translatable="yes">_Alignment:</property>
  1433.                         <property name="use_underline">True</property>
  1434.                       </object>
  1435.                       <packing>
  1436.                         <property name="x_options"/>
  1437.                         <property name="y_options"/>
  1438.                       </packing>
  1439.                     </child>
  1440.                     <child>
  1441.                       <object class="GtkComboBox" id="rule-properties-alignment-combo-box">
  1442.                         <property name="visible">True</property>
  1443.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1444.                         <signal handler="gtkhtml_editor_rule_properties_alignment_changed_cb" name="changed" object="rule-properties-window"/>
  1445.                         <property name="model">model2</property>
  1446.                         <child>
  1447.                           <object class="GtkCellRendererText" id="renderer2"/>
  1448.                           <attributes>
  1449.                             <attribute name="text">0</attribute>
  1450.                           </attributes>
  1451.                         </child>
  1452.                       </object>
  1453.                       <packing>
  1454.                         <property name="left_attach">1</property>
  1455.                         <property name="right_attach">2</property>
  1456.                         <property name="y_options"/>
  1457.                       </packing>
  1458.                     </child>
  1459.                     <child>
  1460.                       <object class="GtkCheckButton" id="rule-properties-shaded-check-button">
  1461.                         <property name="visible">True</property>
  1462.                         <property name="can_focus">True</property>
  1463.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1464.                         <property name="label" translatable="yes">S_haded</property>
  1465.                         <property name="use_underline">True</property>
  1466.                         <property name="draw_indicator">True</property>
  1467.                         <signal handler="gtkhtml_editor_rule_properties_shaded_toggled_cb" name="toggled" object="rule-properties-window"/>
  1468.                       </object>
  1469.                       <packing>
  1470.                         <property name="right_attach">2</property>
  1471.                         <property name="top_attach">1</property>
  1472.                         <property name="bottom_attach">2</property>
  1473.                         <property name="y_options"/>
  1474.                       </packing>
  1475.                     </child>
  1476.                   </object>
  1477.                 </child>
  1478.               </object>
  1479.               <packing>
  1480.                 <property name="position">1</property>
  1481.               </packing>
  1482.             </child>
  1483.           </object>
  1484.           <packing>
  1485.             <property name="expand">False</property>
  1486.             <property name="fill">False</property>
  1487.             <property name="position">1</property>
  1488.           </packing>
  1489.         </child>
  1490.         <child>
  1491.           <object class="GtkHButtonBox" id="rule-properties-button-box">
  1492.             <property name="visible">True</property>
  1493.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1494.             <property name="spacing">12</property>
  1495.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  1496.             <child>
  1497.               <object class="GtkButton" id="rule-properties-close-button">
  1498.                 <property name="visible">True</property>
  1499.                 <property name="can_focus">True</property>
  1500.                 <property name="receives_default">True</property>
  1501.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1502.                 <property name="label">gtk-close</property>
  1503.                 <property name="use_stock">True</property>
  1504.                 <signal handler="gtk_widget_hide" name="clicked" object="rule-properties-window"/>
  1505.               </object>
  1506.               <packing>
  1507.                 <property name="position">1</property>
  1508.               </packing>
  1509.             </child>
  1510.           </object>
  1511.           <packing>
  1512.             <property name="expand">False</property>
  1513.             <property name="fill">False</property>
  1514.             <property name="pack_type">GTK_PACK_END</property>
  1515.             <property name="position">2</property>
  1516.           </packing>
  1517.         </child>
  1518.       </object>
  1519.     </child>
  1520.   </object>
  1521.   <object class="GtkWindow" id="table-properties-window">
  1522.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1523.     <property name="border_width">12</property>
  1524.     <property name="title" translatable="yes">Table Properties</property>
  1525.     <property name="resizable">False</property>
  1526.     <property name="modal">True</property>
  1527.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  1528.     <property name="destroy_with_parent">True</property>
  1529.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  1530.     <signal handler="gtkhtml_editor_table_properties_show_window_cb" name="show"/>
  1531.     <child>
  1532.       <object class="GtkVBox" id="table-properties-vbox">
  1533.         <property name="visible">True</property>
  1534.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1535.         <property name="spacing">12</property>
  1536.         <child>
  1537.           <object class="GtkVBox" id="table-properties-general-vbox">
  1538.             <property name="visible">True</property>
  1539.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1540.             <property name="spacing">6</property>
  1541.             <child>
  1542.               <object class="GtkLabel" id="table-properties-general-header">
  1543.                 <property name="visible">True</property>
  1544.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1545.                 <property name="xalign">0</property>
  1546.                 <property name="label" translatable="yes">General</property>
  1547.                 <attributes>
  1548.                   <attribute name="weight" value="bold"/>
  1549.                 </attributes>
  1550.               </object>
  1551.             </child>
  1552.             <child>
  1553.               <object class="GtkAlignment" id="table-properties-general-alignment">
  1554.                 <property name="visible">True</property>
  1555.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1556.                 <property name="left_padding">12</property>
  1557.                 <child>
  1558.                   <object class="GtkHBox" id="table-properties-general-hbox">
  1559.                     <property name="visible">True</property>
  1560.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1561.                     <property name="spacing">12</property>
  1562.                     <child>
  1563.                       <object class="GtkHBox" id="table-properties-rows-hbox">
  1564.                         <property name="visible">True</property>
  1565.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1566.                         <property name="spacing">6</property>
  1567.                         <child>
  1568.                           <object class="GtkImage" id="table-properties-rows-image">
  1569.                             <property name="visible">True</property>
  1570.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1571.                             <property name="icon_name">stock_select-row</property>
  1572.                           </object>
  1573.                           <packing>
  1574.                             <property name="expand">False</property>
  1575.                             <property name="fill">False</property>
  1576.                           </packing>
  1577.                         </child>
  1578.                         <child>
  1579.                           <object class="GtkLabel" id="table-properties-rows-label">
  1580.                             <property name="visible">True</property>
  1581.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1582.                             <property name="label" translatable="yes">_Rows:</property>
  1583.                             <property name="use_underline">True</property>
  1584.                             <property name="mnemonic_widget">table-properties-rows-spin-button</property>
  1585.                           </object>
  1586.                           <packing>
  1587.                             <property name="expand">False</property>
  1588.                             <property name="fill">False</property>
  1589.                             <property name="position">1</property>
  1590.                           </packing>
  1591.                         </child>
  1592.                         <child>
  1593.                           <object class="GtkSpinButton" id="table-properties-rows-spin-button">
  1594.                             <property name="visible">True</property>
  1595.                             <property name="can_focus">True</property>
  1596.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1597.                             <property name="adjustment">adjustment3</property>
  1598.                             <signal handler="gtkhtml_editor_table_properties_rows_changed_cb" name="value_changed" object="table-properties-window"/>
  1599.                           </object>
  1600.                           <packing>
  1601.                             <property name="position">2</property>
  1602.                           </packing>
  1603.                         </child>
  1604.                       </object>
  1605.                     </child>
  1606.                     <child>
  1607.                       <object class="GtkHBox" id="table-properties-cols-hbox">
  1608.                         <property name="visible">True</property>
  1609.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1610.                         <property name="spacing">6</property>
  1611.                         <child>
  1612.                           <object class="GtkImage" id="table-properties-cols-image">
  1613.                             <property name="visible">True</property>
  1614.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1615.                             <property name="icon_name">stock_select-column</property>
  1616.                           </object>
  1617.                           <packing>
  1618.                             <property name="expand">False</property>
  1619.                             <property name="fill">False</property>
  1620.                           </packing>
  1621.                         </child>
  1622.                         <child>
  1623.                           <object class="GtkLabel" id="table-properties-cols-label">
  1624.                             <property name="visible">True</property>
  1625.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1626.                             <property name="label" translatable="yes">C_olumns:</property>
  1627.                             <property name="use_underline">True</property>
  1628.                             <property name="mnemonic_widget">table-properties-cols-spin-button</property>
  1629.                           </object>
  1630.                           <packing>
  1631.                             <property name="expand">False</property>
  1632.                             <property name="fill">False</property>
  1633.                             <property name="position">1</property>
  1634.                           </packing>
  1635.                         </child>
  1636.                         <child>
  1637.                           <object class="GtkSpinButton" id="table-properties-cols-spin-button">
  1638.                             <property name="visible">True</property>
  1639.                             <property name="can_focus">True</property>
  1640.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1641.                             <property name="adjustment">adjustment4</property>
  1642.                             <signal handler="gtkhtml_editor_table_properties_cols_changed_cb" name="value_changed" object="table-properties-window"/>
  1643.                           </object>
  1644.                           <packing>
  1645.                             <property name="position">2</property>
  1646.                           </packing>
  1647.                         </child>
  1648.                       </object>
  1649.                       <packing>
  1650.                         <property name="position">1</property>
  1651.                       </packing>
  1652.                     </child>
  1653.                   </object>
  1654.                 </child>
  1655.               </object>
  1656.               <packing>
  1657.                 <property name="position">1</property>
  1658.               </packing>
  1659.             </child>
  1660.           </object>
  1661.           <packing>
  1662.             <property name="expand">False</property>
  1663.             <property name="fill">False</property>
  1664.           </packing>
  1665.         </child>
  1666.         <child>
  1667.           <object class="GtkVBox" id="table-properties-layout-vbox">
  1668.             <property name="visible">True</property>
  1669.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1670.             <property name="spacing">6</property>
  1671.             <child>
  1672.               <object class="GtkLabel" id="table-properties-layout-header">
  1673.                 <property name="visible">True</property>
  1674.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1675.                 <property name="xalign">0</property>
  1676.                 <property name="label" translatable="yes">Layout</property>
  1677.                 <attributes>
  1678.                   <attribute name="weight" value="bold"/>
  1679.                 </attributes>
  1680.               </object>
  1681.             </child>
  1682.             <child>
  1683.               <object class="GtkAlignment" id="table-properties-layout-alignment">
  1684.                 <property name="visible">True</property>
  1685.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1686.                 <property name="left_padding">12</property>
  1687.                 <child>
  1688.                   <object class="GtkTable" id="table-properties-layout-left-table">
  1689.                     <property name="visible">True</property>
  1690.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1691.                     <property name="n_rows">3</property>
  1692.                     <property name="n_columns">7</property>
  1693.                     <property name="column_spacing">6</property>
  1694.                     <property name="row_spacing">6</property>
  1695.                     <child>
  1696.                       <placeholder/>
  1697.                     </child>
  1698.                     <child>
  1699.                       <placeholder/>
  1700.                     </child>
  1701.                     <child>
  1702.                       <placeholder/>
  1703.                     </child>
  1704.                     <child>
  1705.                       <placeholder/>
  1706.                     </child>
  1707.                     <child>
  1708.                       <placeholder/>
  1709.                     </child>
  1710.                     <child>
  1711.                       <placeholder/>
  1712.                     </child>
  1713.                     <child>
  1714.                       <object class="GtkLabel" id="table-properties-border-units-label">
  1715.                         <property name="visible">True</property>
  1716.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1717.                         <property name="xalign">0</property>
  1718.                         <property name="label" translatable="yes">px</property>
  1719.                       </object>
  1720.                       <packing>
  1721.                         <property name="left_attach">6</property>
  1722.                         <property name="right_attach">7</property>
  1723.                         <property name="top_attach">2</property>
  1724.                         <property name="bottom_attach">3</property>
  1725.                         <property name="x_options"/>
  1726.                         <property name="y_options"/>
  1727.                       </packing>
  1728.                     </child>
  1729.                     <child>
  1730.                       <object class="GtkLabel" id="table-properties-padding-units-label">
  1731.                         <property name="visible">True</property>
  1732.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1733.                         <property name="xalign">0</property>
  1734.                         <property name="label" translatable="yes">px</property>
  1735.                       </object>
  1736.                       <packing>
  1737.                         <property name="left_attach">6</property>
  1738.                         <property name="right_attach">7</property>
  1739.                         <property name="top_attach">1</property>
  1740.                         <property name="bottom_attach">2</property>
  1741.                         <property name="x_options"/>
  1742.                         <property name="y_options"/>
  1743.                       </packing>
  1744.                     </child>
  1745.                     <child>
  1746.                       <object class="GtkLabel" id="table-properties-spacing-units-label">
  1747.                         <property name="visible">True</property>
  1748.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1749.                         <property name="xalign">0</property>
  1750.                         <property name="label" translatable="yes">px</property>
  1751.                       </object>
  1752.                       <packing>
  1753.                         <property name="left_attach">6</property>
  1754.                         <property name="right_attach">7</property>
  1755.                         <property name="x_options"/>
  1756.                         <property name="y_options"/>
  1757.                       </packing>
  1758.                     </child>
  1759.                     <child>
  1760.                       <object class="GtkComboBox" id="table-properties-width-combo-box">
  1761.                         <property name="visible">True</property>
  1762.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1763.                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="changed" object="table-properties-window"/>
  1764.                         <property name="model">model3</property>
  1765.                         <child>
  1766.                           <object class="GtkCellRendererText" id="renderer3"/>
  1767.                           <attributes>
  1768.                             <attribute name="text">0</attribute>
  1769.                           </attributes>
  1770.                         </child>
  1771.                       </object>
  1772.                       <packing>
  1773.                         <property name="left_attach">2</property>
  1774.                         <property name="right_attach">3</property>
  1775.                         <property name="x_options"/>
  1776.                         <property name="y_options"/>
  1777.                       </packing>
  1778.                     </child>
  1779.                     <child>
  1780.                       <object class="GtkSpinButton" id="table-properties-width-spin-button">
  1781.                         <property name="width_request">100</property>
  1782.                         <property name="visible">True</property>
  1783.                         <property name="can_focus">True</property>
  1784.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1785.                         <property name="adjustment">adjustment5</property>
  1786.                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="value_changed" object="table-properties-window"/>
  1787.                       </object>
  1788.                       <packing>
  1789.                         <property name="left_attach">1</property>
  1790.                         <property name="right_attach">2</property>
  1791.                         <property name="y_options"/>
  1792.                       </packing>
  1793.                     </child>
  1794.                     <child>
  1795.                       <object class="GtkCheckButton" id="table-properties-width-check-button">
  1796.                         <property name="visible">True</property>
  1797.                         <property name="can_focus">True</property>
  1798.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1799.                         <property name="label" translatable="yes">_Width:</property>
  1800.                         <property name="use_underline">True</property>
  1801.                         <property name="xalign">1</property>
  1802.                         <property name="draw_indicator">True</property>
  1803.                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="toggled" object="table-properties-window"/>
  1804.                       </object>
  1805.                       <packing>
  1806.                         <property name="x_options">GTK_FILL</property>
  1807.                         <property name="y_options"/>
  1808.                       </packing>
  1809.                     </child>
  1810.                     <child>
  1811.                       <object class="GtkComboBox" id="table-properties-alignment-combo-box">
  1812.                         <property name="visible">True</property>
  1813.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1814.                         <signal handler="gtkhtml_editor_table_properties_alignment_changed_cb" name="changed" object="table-properties-window"/>
  1815.                         <property name="model">model4</property>
  1816.                         <child>
  1817.                           <object class="GtkCellRendererText" id="renderer4"/>
  1818.                           <attributes>
  1819.                             <attribute name="text">0</attribute>
  1820.                           </attributes>
  1821.                         </child>
  1822.                       </object>
  1823.                       <packing>
  1824.                         <property name="left_attach">1</property>
  1825.                         <property name="right_attach">3</property>
  1826.                         <property name="top_attach">1</property>
  1827.                         <property name="bottom_attach">2</property>
  1828.                         <property name="x_options">GTK_FILL</property>
  1829.                         <property name="y_options"/>
  1830.                       </packing>
  1831.                     </child>
  1832.                     <child>
  1833.                       <object class="GtkLabel" id="table-properties-alignment-label">
  1834.                         <property name="visible">True</property>
  1835.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1836.                         <property name="xalign">1</property>
  1837.                         <property name="label" translatable="yes">_Alignment:</property>
  1838.                         <property name="use_underline">True</property>
  1839.                         <property name="mnemonic_widget">table-properties-alignment-combo-box</property>
  1840.                       </object>
  1841.                       <packing>
  1842.                         <property name="top_attach">1</property>
  1843.                         <property name="bottom_attach">2</property>
  1844.                         <property name="x_options">GTK_FILL</property>
  1845.                         <property name="y_options"/>
  1846.                       </packing>
  1847.                     </child>
  1848.                     <child>
  1849.                       <object class="GtkLabel" id="table-properties-spacing-label">
  1850.                         <property name="visible">True</property>
  1851.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1852.                         <property name="xalign">1</property>
  1853.                         <property name="label" translatable="yes">_Spacing:</property>
  1854.                         <property name="use_underline">True</property>
  1855.                         <property name="mnemonic_widget">table-properties-spacing-spin-button</property>
  1856.                       </object>
  1857.                       <packing>
  1858.                         <property name="left_attach">4</property>
  1859.                         <property name="right_attach">5</property>
  1860.                         <property name="x_options">GTK_FILL</property>
  1861.                         <property name="y_options"/>
  1862.                       </packing>
  1863.                     </child>
  1864.                     <child>
  1865.                       <object class="GtkLabel" id="table-properties-padding-label">
  1866.                         <property name="visible">True</property>
  1867.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1868.                         <property name="xalign">1</property>
  1869.                         <property name="label" translatable="yes">_Padding:</property>
  1870.                         <property name="use_underline">True</property>
  1871.                         <property name="mnemonic_widget">table-properties-padding-spin-button</property>
  1872.                       </object>
  1873.                       <packing>
  1874.                         <property name="left_attach">4</property>
  1875.                         <property name="right_attach">5</property>
  1876.                         <property name="top_attach">1</property>
  1877.                         <property name="bottom_attach">2</property>
  1878.                         <property name="x_options">GTK_FILL</property>
  1879.                         <property name="y_options"/>
  1880.                       </packing>
  1881.                     </child>
  1882.                     <child>
  1883.                       <object class="GtkLabel" id="table-properties-border-label">
  1884.                         <property name="visible">True</property>
  1885.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1886.                         <property name="xalign">1</property>
  1887.                         <property name="label" translatable="yes">_Border:</property>
  1888.                         <property name="use_underline">True</property>
  1889.                         <property name="mnemonic_widget">table-properties-border-spin-button</property>
  1890.                       </object>
  1891.                       <packing>
  1892.                         <property name="left_attach">4</property>
  1893.                         <property name="right_attach">5</property>
  1894.                         <property name="top_attach">2</property>
  1895.                         <property name="bottom_attach">3</property>
  1896.                         <property name="x_options">GTK_FILL</property>
  1897.                         <property name="y_options"/>
  1898.                       </packing>
  1899.                     </child>
  1900.                     <child>
  1901.                       <object class="GtkSpinButton" id="table-properties-spacing-spin-button">
  1902.                         <property name="visible">True</property>
  1903.                         <property name="can_focus">True</property>
  1904.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1905.                         <property name="adjustment">adjustment6</property>
  1906.                         <signal handler="gtkhtml_editor_table_properties_spacing_changed_cb" name="value_changed" object="table-properties-window"/>
  1907.                       </object>
  1908.                       <packing>
  1909.                         <property name="left_attach">5</property>
  1910.                         <property name="right_attach">6</property>
  1911.                         <property name="y_options"/>
  1912.                       </packing>
  1913.                     </child>
  1914.                     <child>
  1915.                       <object class="GtkSpinButton" id="table-properties-padding-spin-button">
  1916.                         <property name="visible">True</property>
  1917.                         <property name="can_focus">True</property>
  1918.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1919.                         <property name="adjustment">adjustment7</property>
  1920.                         <signal handler="gtkhtml_editor_table_properties_padding_changed_cb" name="value_changed" object="table-properties-window"/>
  1921.                       </object>
  1922.                       <packing>
  1923.                         <property name="left_attach">5</property>
  1924.                         <property name="right_attach">6</property>
  1925.                         <property name="top_attach">1</property>
  1926.                         <property name="bottom_attach">2</property>
  1927.                         <property name="y_options"/>
  1928.                       </packing>
  1929.                     </child>
  1930.                     <child>
  1931.                       <object class="GtkSpinButton" id="table-properties-border-spin-button">
  1932.                         <property name="visible">True</property>
  1933.                         <property name="can_focus">True</property>
  1934.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1935.                         <property name="adjustment">adjustment8</property>
  1936.                         <signal handler="gtkhtml_editor_table_properties_border_changed_cb" name="value_changed" object="table-properties-window"/>
  1937.                       </object>
  1938.                       <packing>
  1939.                         <property name="left_attach">5</property>
  1940.                         <property name="right_attach">6</property>
  1941.                         <property name="top_attach">2</property>
  1942.                         <property name="bottom_attach">3</property>
  1943.                         <property name="y_options"/>
  1944.                       </packing>
  1945.                     </child>
  1946.                   </object>
  1947.                 </child>
  1948.               </object>
  1949.               <packing>
  1950.                 <property name="position">1</property>
  1951.               </packing>
  1952.             </child>
  1953.           </object>
  1954.           <packing>
  1955.             <property name="expand">False</property>
  1956.             <property name="fill">False</property>
  1957.             <property name="position">1</property>
  1958.           </packing>
  1959.         </child>
  1960.         <child>
  1961.           <object class="GtkVBox" id="table-properties-background-vbox">
  1962.             <property name="visible">True</property>
  1963.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1964.             <property name="spacing">6</property>
  1965.             <child>
  1966.               <object class="GtkLabel" id="table-properties-background-header">
  1967.                 <property name="visible">True</property>
  1968.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1969.                 <property name="xalign">0</property>
  1970.                 <property name="label" translatable="yes">Background</property>
  1971.                 <attributes>
  1972.                   <attribute name="weight" value="bold"/>
  1973.                 </attributes>
  1974.               </object>
  1975.             </child>
  1976.             <child>
  1977.               <object class="GtkAlignment" id="table-properties-background-alignment">
  1978.                 <property name="visible">True</property>
  1979.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1980.                 <property name="left_padding">12</property>
  1981.                 <child>
  1982.                   <object class="GtkTable" id="table-properties-background-table">
  1983.                     <property name="visible">True</property>
  1984.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1985.                     <property name="n_rows">2</property>
  1986.                     <property name="n_columns">2</property>
  1987.                     <property name="column_spacing">6</property>
  1988.                     <property name="row_spacing">6</property>
  1989.                     <child>
  1990.                       <object class="GtkLabel" id="table-properties-color-label">
  1991.                         <property name="visible">True</property>
  1992.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1993.                         <property name="xalign">1</property>
  1994.                         <property name="label" translatable="yes">Co_lor:</property>
  1995.                         <property name="use_underline">True</property>
  1996.                       </object>
  1997.                       <packing>
  1998.                         <property name="x_options">GTK_FILL</property>
  1999.                         <property name="y_options"/>
  2000.                       </packing>
  2001.                     </child>
  2002.                     <child>
  2003.                       <object class="GtkLabel" id="table-properties-image-label">
  2004.                         <property name="visible">True</property>
  2005.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2006.                         <property name="xalign">1</property>
  2007.                         <property name="label" translatable="yes">_Image:</property>
  2008.                         <property name="use_underline">True</property>
  2009.                         <property name="mnemonic_widget">table-properties-image-button</property>
  2010.                       </object>
  2011.                       <packing>
  2012.                         <property name="top_attach">1</property>
  2013.                         <property name="bottom_attach">2</property>
  2014.                         <property name="x_options">GTK_FILL</property>
  2015.                         <property name="y_options"/>
  2016.                       </packing>
  2017.                     </child>
  2018.                     <child>
  2019.                       <object class="GtkFileChooserButton" id="table-properties-image-button">
  2020.                         <property name="visible">True</property>
  2021.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2022.                         <signal handler="gtkhtml_editor_table_properties_image_changed_cb" name="selection_changed" object="table-properties-window"/>
  2023.                       </object>
  2024.                       <packing>
  2025.                         <property name="left_attach">1</property>
  2026.                         <property name="right_attach">2</property>
  2027.                         <property name="top_attach">1</property>
  2028.                         <property name="bottom_attach">2</property>
  2029.                         <property name="y_options"/>
  2030.                       </packing>
  2031.                     </child>
  2032.                     <child>
  2033.                       <object class="GtkhtmlColorCombo" id="table-properties-color-combo">
  2034.                         <property name="visible">True</property>
  2035.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2036.                         <property name="default_color">#000000000000</property>
  2037.                         <property name="default_label">Transparent</property>
  2038.                         <property name="default_transparent">True</property>
  2039.                         <signal handler="gtkhtml_editor_table_properties_color_changed_cb" name="changed" object="table-properties-window"/>
  2040.                       </object>
  2041.                       <packing>
  2042.                         <property name="left_attach">1</property>
  2043.                         <property name="right_attach">2</property>
  2044.                       </packing>
  2045.                     </child>
  2046.                   </object>
  2047.                 </child>
  2048.               </object>
  2049.               <packing>
  2050.                 <property name="position">1</property>
  2051.               </packing>
  2052.             </child>
  2053.           </object>
  2054.           <packing>
  2055.             <property name="expand">False</property>
  2056.             <property name="fill">False</property>
  2057.             <property name="position">2</property>
  2058.           </packing>
  2059.         </child>
  2060.         <child>
  2061.           <object class="GtkHButtonBox" id="table-properties-button-box">
  2062.             <property name="visible">True</property>
  2063.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2064.             <property name="spacing">12</property>
  2065.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  2066.             <child>
  2067.               <object class="GtkButton" id="table-properties-close-button">
  2068.                 <property name="visible">True</property>
  2069.                 <property name="can_focus">True</property>
  2070.                 <property name="receives_default">True</property>
  2071.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2072.                 <property name="label">gtk-close</property>
  2073.                 <property name="use_stock">True</property>
  2074.                 <signal handler="gtk_widget_hide" name="clicked" object="table-properties-window"/>
  2075.               </object>
  2076.               <packing>
  2077.                 <property name="position">1</property>
  2078.               </packing>
  2079.             </child>
  2080.           </object>
  2081.           <packing>
  2082.             <property name="expand">False</property>
  2083.             <property name="fill">False</property>
  2084.             <property name="pack_type">GTK_PACK_END</property>
  2085.             <property name="position">3</property>
  2086.           </packing>
  2087.         </child>
  2088.       </object>
  2089.     </child>
  2090.   </object>
  2091.   <object class="GtkWindow" id="page-properties-window">
  2092.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2093.     <property name="border_width">12</property>
  2094.     <property name="title" translatable="yes">Page Properties</property>
  2095.     <property name="resizable">False</property>
  2096.     <property name="modal">True</property>
  2097.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  2098.     <property name="destroy_with_parent">True</property>
  2099.     <signal handler="gtkhtml_editor_page_properties_window_realized_cb" name="realize"/>
  2100.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  2101.     <child>
  2102.       <object class="GtkVBox" id="page-properties-vbox">
  2103.         <property name="visible">True</property>
  2104.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2105.         <property name="spacing">12</property>
  2106.         <child>
  2107.           <object class="GtkVBox" id="page-properties-colors-vbox">
  2108.             <property name="visible">True</property>
  2109.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2110.             <property name="spacing">6</property>
  2111.             <child>
  2112.               <object class="GtkLabel" id="page-properties-colors-header">
  2113.                 <property name="visible">True</property>
  2114.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2115.                 <property name="xalign">0</property>
  2116.                 <property name="label" translatable="yes">Colors</property>
  2117.                 <attributes>
  2118.                   <attribute name="weight" value="bold"/>
  2119.                 </attributes>
  2120.               </object>
  2121.               <packing>
  2122.                 <property name="expand">False</property>
  2123.                 <property name="fill">False</property>
  2124.               </packing>
  2125.             </child>
  2126.             <child>
  2127.               <object class="GtkAlignment" id="page-properties-colors-alignment">
  2128.                 <property name="visible">True</property>
  2129.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2130.                 <property name="left_padding">12</property>
  2131.                 <child>
  2132.                   <object class="GtkTable" id="page-properties-colors-table">
  2133.                     <property name="visible">True</property>
  2134.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2135.                     <property name="n_rows">3</property>
  2136.                     <property name="n_columns">2</property>
  2137.                     <property name="column_spacing">6</property>
  2138.                     <property name="row_spacing">6</property>
  2139.                     <child>
  2140.                       <object class="GtkLabel" id="page-properties-text-label">
  2141.                         <property name="visible">True</property>
  2142.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2143.                         <property name="xalign">1</property>
  2144.                         <property name="label" translatable="yes">_Text:</property>
  2145.                         <property name="use_underline">True</property>
  2146.                       </object>
  2147.                       <packing>
  2148.                         <property name="x_options">GTK_FILL</property>
  2149.                       </packing>
  2150.                     </child>
  2151.                     <child>
  2152.                       <object class="GtkLabel" id="page-properties-link-label">
  2153.                         <property name="visible">True</property>
  2154.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2155.                         <property name="xalign">1</property>
  2156.                         <property name="label" translatable="yes">_Link:</property>
  2157.                         <property name="use_underline">True</property>
  2158.                       </object>
  2159.                       <packing>
  2160.                         <property name="top_attach">1</property>
  2161.                         <property name="bottom_attach">2</property>
  2162.                         <property name="x_options">GTK_FILL</property>
  2163.                       </packing>
  2164.                     </child>
  2165.                     <child>
  2166.                       <object class="GtkLabel" id="page-properties-background-label">
  2167.                         <property name="visible">True</property>
  2168.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2169.                         <property name="xalign">1</property>
  2170.                         <property name="label" translatable="yes">_Background:</property>
  2171.                         <property name="use_underline">True</property>
  2172.                       </object>
  2173.                       <packing>
  2174.                         <property name="top_attach">2</property>
  2175.                         <property name="bottom_attach">3</property>
  2176.                         <property name="x_options">GTK_FILL</property>
  2177.                       </packing>
  2178.                     </child>
  2179.                     <child>
  2180.                       <object class="GtkhtmlColorCombo" id="page-properties-text-color-combo">
  2181.                         <property name="visible">True</property>
  2182.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2183.                         <property name="default_color">#000000000000</property>
  2184.                         <property name="default_label">Automatic</property>
  2185.                         <signal handler="gtkhtml_editor_page_properties_text_color_changed_cb" name="changed" object="page-properties-window"/>
  2186.                       </object>
  2187.                       <packing>
  2188.                         <property name="left_attach">1</property>
  2189.                         <property name="right_attach">2</property>
  2190.                       </packing>
  2191.                     </child>
  2192.                     <child>
  2193.                       <object class="GtkhtmlColorCombo" id="page-properties-link-color-combo">
  2194.                         <property name="visible">True</property>
  2195.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2196.                         <property name="default_color">#000000000000</property>
  2197.                         <property name="default_label">_Automatic</property>
  2198.                         <signal handler="gtkhtml_editor_page_properties_link_color_changed_cb" name="changed" object="page-properties-window"/>
  2199.                       </object>
  2200.                       <packing>
  2201.                         <property name="left_attach">1</property>
  2202.                         <property name="right_attach">2</property>
  2203.                         <property name="top_attach">1</property>
  2204.                         <property name="bottom_attach">2</property>
  2205.                       </packing>
  2206.                     </child>
  2207.                     <child>
  2208.                       <object class="GtkhtmlColorCombo" id="page-properties-background-color-combo">
  2209.                         <property name="visible">True</property>
  2210.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2211.                         <property name="default_color">#000000000000</property>
  2212.                         <property name="default_label">Automatic</property>
  2213.                         <signal handler="gtkhtml_editor_page_properties_background_color_changed_cb" name="changed" object="page-properties-window"/>
  2214.                       </object>
  2215.                       <packing>
  2216.                         <property name="left_attach">1</property>
  2217.                         <property name="right_attach">2</property>
  2218.                         <property name="top_attach">2</property>
  2219.                         <property name="bottom_attach">3</property>
  2220.                       </packing>
  2221.                     </child>
  2222.                   </object>
  2223.                 </child>
  2224.               </object>
  2225.               <packing>
  2226.                 <property name="position">1</property>
  2227.               </packing>
  2228.             </child>
  2229.           </object>
  2230.           <packing>
  2231.             <property name="expand">False</property>
  2232.             <property name="fill">False</property>
  2233.           </packing>
  2234.         </child>
  2235.         <child>
  2236.           <object class="GtkVBox" id="page-properties-background-vbox">
  2237.             <property name="visible">True</property>
  2238.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2239.             <property name="spacing">6</property>
  2240.             <child>
  2241.               <object class="GtkLabel" id="page-properties-background-header">
  2242.                 <property name="visible">True</property>
  2243.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2244.                 <property name="xalign">0</property>
  2245.                 <property name="label" translatable="yes">Background Image</property>
  2246.                 <attributes>
  2247.                   <attribute name="weight" value="bold"/>
  2248.                 </attributes>
  2249.               </object>
  2250.               <packing>
  2251.                 <property name="expand">False</property>
  2252.                 <property name="fill">False</property>
  2253.               </packing>
  2254.             </child>
  2255.             <child>
  2256.               <object class="GtkAlignment" id="page-properties-background-alignment">
  2257.                 <property name="visible">True</property>
  2258.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2259.                 <property name="left_padding">12</property>
  2260.                 <child>
  2261.                   <object class="GtkTable" id="page-properties-backgrond-table">
  2262.                     <property name="visible">True</property>
  2263.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2264.                     <property name="n_rows">2</property>
  2265.                     <property name="n_columns">2</property>
  2266.                     <property name="column_spacing">6</property>
  2267.                     <property name="row_spacing">6</property>
  2268.                     <child>
  2269.                       <object class="GtkLabel" id="page-properties-template-label">
  2270.                         <property name="visible">True</property>
  2271.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2272.                         <property name="xalign">1</property>
  2273.                         <property name="label" translatable="yes">T_emplate:</property>
  2274.                         <property name="use_underline">True</property>
  2275.                       </object>
  2276.                       <packing>
  2277.                         <property name="x_options">GTK_FILL</property>
  2278.                       </packing>
  2279.                     </child>
  2280.                     <child>
  2281.                       <object class="GtkLabel" id="page-properties-custom-label">
  2282.                         <property name="visible">True</property>
  2283.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2284.                         <property name="xalign">1</property>
  2285.                         <property name="label" translatable="yes">C_ustom:</property>
  2286.                         <property name="use_underline">True</property>
  2287.                       </object>
  2288.                       <packing>
  2289.                         <property name="top_attach">1</property>
  2290.                         <property name="bottom_attach">2</property>
  2291.                         <property name="x_options">GTK_FILL</property>
  2292.                       </packing>
  2293.                     </child>
  2294.                     <child>
  2295.                       <object class="GtkFileChooserButton" id="page-properties-custom-file-chooser">
  2296.                         <property name="width_request">200</property>
  2297.                         <property name="visible">True</property>
  2298.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2299.                         <signal handler="gtkhtml_editor_page_properties_custom_file_changed_cb" name="selection_changed" object="page-properties-window"/>
  2300.                       </object>
  2301.                       <packing>
  2302.                         <property name="left_attach">1</property>
  2303.                         <property name="right_attach">2</property>
  2304.                         <property name="top_attach">1</property>
  2305.                         <property name="bottom_attach">2</property>
  2306.                       </packing>
  2307.                     </child>
  2308.                     <child>
  2309.                       <object class="GtkComboBox" id="page-properties-template-combo-box">
  2310.                         <property name="visible">True</property>
  2311.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2312.                         <signal handler="gtkhtml_editor_page_properties_template_changed_cb" name="changed" object="page-properties-window"/>
  2313.                         <property name="model">model5</property>
  2314.                         <child>
  2315.                           <object class="GtkCellRendererText" id="renderer5"/>
  2316.                           <attributes>
  2317.                             <attribute name="text">0</attribute>
  2318.                           </attributes>
  2319.                         </child>
  2320.                       </object>
  2321.                       <packing>
  2322.                         <property name="left_attach">1</property>
  2323.                         <property name="right_attach">2</property>
  2324.                       </packing>
  2325.                     </child>
  2326.                   </object>
  2327.                 </child>
  2328.               </object>
  2329.               <packing>
  2330.                 <property name="position">1</property>
  2331.               </packing>
  2332.             </child>
  2333.           </object>
  2334.           <packing>
  2335.             <property name="expand">False</property>
  2336.             <property name="fill">False</property>
  2337.             <property name="position">1</property>
  2338.           </packing>
  2339.         </child>
  2340.         <child>
  2341.           <object class="GtkHButtonBox" id="page-properties-button-box">
  2342.             <property name="visible">True</property>
  2343.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2344.             <property name="spacing">12</property>
  2345.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  2346.             <child>
  2347.               <object class="GtkButton" id="page-properties-close-button">
  2348.                 <property name="visible">True</property>
  2349.                 <property name="can_focus">True</property>
  2350.                 <property name="receives_default">True</property>
  2351.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2352.                 <property name="label">gtk-close</property>
  2353.                 <property name="use_stock">True</property>
  2354.                 <signal handler="gtk_widget_hide" name="clicked" object="page-properties-window"/>
  2355.               </object>
  2356.               <packing>
  2357.                 <property name="position">1</property>
  2358.               </packing>
  2359.             </child>
  2360.           </object>
  2361.           <packing>
  2362.             <property name="expand">False</property>
  2363.             <property name="fill">False</property>
  2364.             <property name="pack_type">GTK_PACK_END</property>
  2365.             <property name="position">2</property>
  2366.           </packing>
  2367.         </child>
  2368.       </object>
  2369.     </child>
  2370.   </object>
  2371.   <object class="GtkWindow" id="cell-properties-window">
  2372.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2373.     <property name="border_width">1</property>
  2374.     <property name="title" translatable="yes">Cell Properties</property>
  2375.     <property name="resizable">False</property>
  2376.     <property name="modal">True</property>
  2377.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  2378.     <property name="destroy_with_parent">True</property>
  2379.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  2380.     <signal handler="gtkhtml_editor_cell_properties_show_window_cb" name="show"/>
  2381.     <child>
  2382.       <object class="GtkVBox" id="cell-properties-vbox">
  2383.         <property name="visible">True</property>
  2384.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2385.         <property name="border_width">12</property>
  2386.         <property name="spacing">12</property>
  2387.         <child>
  2388.           <object class="GtkVBox" id="cell-properties-scope-vbox">
  2389.             <property name="visible">True</property>
  2390.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2391.             <property name="spacing">6</property>
  2392.             <child>
  2393.               <object class="GtkLabel" id="cell-properties-scope-header">
  2394.                 <property name="visible">True</property>
  2395.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2396.                 <property name="xalign">0</property>
  2397.                 <property name="label" translatable="yes">Scope</property>
  2398.                 <attributes>
  2399.                   <attribute name="weight" value="bold"/>
  2400.                 </attributes>
  2401.               </object>
  2402.             </child>
  2403.             <child>
  2404.               <object class="GtkAlignment" id="cell-properties-scope-alignment">
  2405.                 <property name="visible">True</property>
  2406.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2407.                 <property name="left_padding">12</property>
  2408.                 <child>
  2409.                   <object class="GtkTable" id="cell-properties-scope-table">
  2410.                     <property name="visible">True</property>
  2411.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2412.                     <property name="n_rows">2</property>
  2413.                     <property name="n_columns">5</property>
  2414.                     <property name="column_spacing">6</property>
  2415.                     <property name="row_spacing">6</property>
  2416.                     <child>
  2417.                       <placeholder/>
  2418.                     </child>
  2419.                     <child>
  2420.                       <placeholder/>
  2421.                     </child>
  2422.                     <child>
  2423.                       <object class="GtkRadioButton" id="cell-properties-column-radio-button">
  2424.                         <property name="visible">True</property>
  2425.                         <property name="can_focus">True</property>
  2426.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2427.                         <property name="label" translatable="yes">Col_umn</property>
  2428.                         <property name="use_underline">True</property>
  2429.                         <property name="active">True</property>
  2430.                         <property name="draw_indicator">True</property>
  2431.                         <property name="group">cell-properties-cell-radio-button</property>
  2432.                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
  2433.                       </object>
  2434.                       <packing>
  2435.                         <property name="left_attach">4</property>
  2436.                         <property name="right_attach">5</property>
  2437.                         <property name="top_attach">1</property>
  2438.                         <property name="bottom_attach">2</property>
  2439.                         <property name="x_options">GTK_FILL</property>
  2440.                         <property name="y_options"/>
  2441.                       </packing>
  2442.                     </child>
  2443.                     <child>
  2444.                       <object class="GtkRadioButton" id="cell-properties-row-radio-button">
  2445.                         <property name="visible">True</property>
  2446.                         <property name="can_focus">True</property>
  2447.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2448.                         <property name="label" translatable="yes">_Row</property>
  2449.                         <property name="use_underline">True</property>
  2450.                         <property name="active">True</property>
  2451.                         <property name="draw_indicator">True</property>
  2452.                         <property name="group">cell-properties-cell-radio-button</property>
  2453.                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
  2454.                       </object>
  2455.                       <packing>
  2456.                         <property name="left_attach">4</property>
  2457.                         <property name="right_attach">5</property>
  2458.                         <property name="x_options">GTK_FILL</property>
  2459.                         <property name="y_options"/>
  2460.                       </packing>
  2461.                     </child>
  2462.                     <child>
  2463.                       <object class="GtkRadioButton" id="cell-properties-table-radio-button">
  2464.                         <property name="visible">True</property>
  2465.                         <property name="can_focus">True</property>
  2466.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2467.                         <property name="label" translatable="yes">_Table</property>
  2468.                         <property name="use_underline">True</property>
  2469.                         <property name="active">True</property>
  2470.                         <property name="draw_indicator">True</property>
  2471.                         <property name="group">cell-properties-cell-radio-button</property>
  2472.                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
  2473.                       </object>
  2474.                       <packing>
  2475.                         <property name="left_attach">1</property>
  2476.                         <property name="right_attach">2</property>
  2477.                         <property name="top_attach">1</property>
  2478.                         <property name="bottom_attach">2</property>
  2479.                         <property name="x_options">GTK_FILL</property>
  2480.                         <property name="y_options"/>
  2481.                       </packing>
  2482.                     </child>
  2483.                     <child>
  2484.                       <object class="GtkRadioButton" id="cell-properties-cell-radio-button">
  2485.                         <property name="visible">True</property>
  2486.                         <property name="can_focus">True</property>
  2487.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2488.                         <property name="label" translatable="yes">C_ell</property>
  2489.                         <property name="use_underline">True</property>
  2490.                         <property name="active">True</property>
  2491.                         <property name="draw_indicator">True</property>
  2492.                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
  2493.                       </object>
  2494.                       <packing>
  2495.                         <property name="left_attach">1</property>
  2496.                         <property name="right_attach">2</property>
  2497.                         <property name="x_options">GTK_FILL</property>
  2498.                         <property name="y_options"/>
  2499.                       </packing>
  2500.                     </child>
  2501.                     <child>
  2502.                       <object class="GtkImage" id="cell-properties-column-image">
  2503.                         <property name="visible">True</property>
  2504.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2505.                         <property name="icon_name">stock_select-column</property>
  2506.                       </object>
  2507.                       <packing>
  2508.                         <property name="left_attach">3</property>
  2509.                         <property name="right_attach">4</property>
  2510.                         <property name="top_attach">1</property>
  2511.                         <property name="bottom_attach">2</property>
  2512.                         <property name="x_options"/>
  2513.                         <property name="y_options"/>
  2514.                       </packing>
  2515.                     </child>
  2516.                     <child>
  2517.                       <object class="GtkImage" id="cell-properties-row-image">
  2518.                         <property name="visible">True</property>
  2519.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2520.                         <property name="icon_name">stock_select-row</property>
  2521.                       </object>
  2522.                       <packing>
  2523.                         <property name="left_attach">3</property>
  2524.                         <property name="right_attach">4</property>
  2525.                         <property name="x_options"/>
  2526.                         <property name="y_options"/>
  2527.                       </packing>
  2528.                     </child>
  2529.                     <child>
  2530.                       <object class="GtkImage" id="cell-properties-table-image">
  2531.                         <property name="visible">True</property>
  2532.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2533.                         <property name="icon_name">stock_select-table</property>
  2534.                       </object>
  2535.                       <packing>
  2536.                         <property name="top_attach">1</property>
  2537.                         <property name="bottom_attach">2</property>
  2538.                         <property name="x_options"/>
  2539.                         <property name="y_options"/>
  2540.                       </packing>
  2541.                     </child>
  2542.                     <child>
  2543.                       <object class="GtkImage" id="cell-properties-cell-image">
  2544.                         <property name="visible">True</property>
  2545.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2546.                         <property name="icon_name">stock_select-cell</property>
  2547.                       </object>
  2548.                       <packing>
  2549.                         <property name="x_options"/>
  2550.                         <property name="y_options"/>
  2551.                       </packing>
  2552.                     </child>
  2553.                   </object>
  2554.                 </child>
  2555.               </object>
  2556.               <packing>
  2557.                 <property name="expand">False</property>
  2558.                 <property name="fill">False</property>
  2559.                 <property name="position">1</property>
  2560.               </packing>
  2561.             </child>
  2562.           </object>
  2563.           <packing>
  2564.             <property name="expand">False</property>
  2565.             <property name="fill">False</property>
  2566.           </packing>
  2567.         </child>
  2568.         <child>
  2569.           <object class="GtkVBox" id="cell-properties-alignment-vbox">
  2570.             <property name="visible">True</property>
  2571.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2572.             <property name="spacing">6</property>
  2573.             <child>
  2574.               <object class="GtkLabel" id="cell-properties-alignment-header">
  2575.                 <property name="visible">True</property>
  2576.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2577.                 <property name="xalign">0</property>
  2578.                 <property name="label" translatable="yes">Alignment & Behavior</property>
  2579.                 <attributes>
  2580.                   <attribute name="weight" value="bold"/>
  2581.                 </attributes>
  2582.               </object>
  2583.             </child>
  2584.             <child>
  2585.               <object class="GtkAlignment" id="cell-properties-alignment-alignment">
  2586.                 <property name="visible">True</property>
  2587.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2588.                 <property name="left_padding">12</property>
  2589.                 <child>
  2590.                   <object class="GtkTable" id="cell-properties-alignment-table">
  2591.                     <property name="visible">True</property>
  2592.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2593.                     <property name="n_rows">2</property>
  2594.                     <property name="n_columns">5</property>
  2595.                     <property name="column_spacing">6</property>
  2596.                     <property name="row_spacing">6</property>
  2597.                     <child>
  2598.                       <placeholder/>
  2599.                     </child>
  2600.                     <child>
  2601.                       <object class="GtkHBox" id="cell-properties-alignment-hbox">
  2602.                         <property name="visible">True</property>
  2603.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2604.                         <property name="spacing">12</property>
  2605.                         <child>
  2606.                           <object class="GtkCheckButton" id="cell-properties-wrap-text-check-button">
  2607.                             <property name="visible">True</property>
  2608.                             <property name="can_focus">True</property>
  2609.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2610.                             <property name="label" translatable="yes">_Wrap Text</property>
  2611.                             <property name="use_underline">True</property>
  2612.                             <property name="draw_indicator">True</property>
  2613.                             <signal handler="gtkhtml_editor_cell_properties_wrap_text_toggled_cb" name="toggled" object="cell-properties-window"/>
  2614.                           </object>
  2615.                           <packing>
  2616.                             <property name="expand">False</property>
  2617.                             <property name="fill">False</property>
  2618.                           </packing>
  2619.                         </child>
  2620.                         <child>
  2621.                           <object class="GtkCheckButton" id="cell-properties-header-style-check-button">
  2622.                             <property name="visible">True</property>
  2623.                             <property name="can_focus">True</property>
  2624.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2625.                             <property name="label" translatable="yes">Hea_der Style</property>
  2626.                             <property name="use_underline">True</property>
  2627.                             <property name="draw_indicator">True</property>
  2628.                             <signal handler="gtkhtml_editor_cell_properties_header_style_toggled_cb" name="toggled" object="cell-properties-window"/>
  2629.                           </object>
  2630.                           <packing>
  2631.                             <property name="expand">False</property>
  2632.                             <property name="fill">False</property>
  2633.                             <property name="position">1</property>
  2634.                           </packing>
  2635.                         </child>
  2636.                       </object>
  2637.                       <packing>
  2638.                         <property name="right_attach">5</property>
  2639.                         <property name="top_attach">1</property>
  2640.                         <property name="bottom_attach">2</property>
  2641.                         <property name="x_options">GTK_FILL</property>
  2642.                         <property name="y_options"/>
  2643.                       </packing>
  2644.                     </child>
  2645.                     <child>
  2646.                       <object class="GtkComboBox" id="cell-properties-vertical-combo-box">
  2647.                         <property name="visible">True</property>
  2648.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2649.                         <signal handler="gtkhtml_editor_cell_properties_vertical_changed_cb" name="changed" object="cell-properties-window"/>
  2650.                         <property name="model">model6</property>
  2651.                         <child>
  2652.                           <object class="GtkCellRendererText" id="renderer6"/>
  2653.                           <attributes>
  2654.                             <attribute name="text">0</attribute>
  2655.                           </attributes>
  2656.                         </child>
  2657.                       </object>
  2658.                       <packing>
  2659.                         <property name="left_attach">4</property>
  2660.                         <property name="right_attach">5</property>
  2661.                         <property name="y_options"/>
  2662.                       </packing>
  2663.                     </child>
  2664.                     <child>
  2665.                       <object class="GtkComboBox" id="cell-properties-horizontal-combo-box">
  2666.                         <property name="visible">True</property>
  2667.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2668.                         <signal handler="gtkhtml_editor_cell_properties_horizontal_changed_cb" name="changed" object="cell-properties-window"/>
  2669.                         <property name="model">model7</property>
  2670.                         <child>
  2671.                           <object class="GtkCellRendererText" id="renderer7"/>
  2672.                           <attributes>
  2673.                             <attribute name="text">0</attribute>
  2674.                           </attributes>
  2675.                         </child>
  2676.                       </object>
  2677.                       <packing>
  2678.                         <property name="left_attach">1</property>
  2679.                         <property name="right_attach">2</property>
  2680.                         <property name="y_options"/>
  2681.                       </packing>
  2682.                     </child>
  2683.                     <child>
  2684.                       <object class="GtkLabel" id="cell-properties-vertical-label">
  2685.                         <property name="visible">True</property>
  2686.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2687.                         <property name="xalign">1</property>
  2688.                         <property name="label" translatable="yes">_Vertical:</property>
  2689.                         <property name="use_underline">True</property>
  2690.                         <property name="mnemonic_widget">cell-properties-vertical-combo-box</property>
  2691.                       </object>
  2692.                       <packing>
  2693.                         <property name="left_attach">3</property>
  2694.                         <property name="right_attach">4</property>
  2695.                         <property name="x_options">GTK_FILL</property>
  2696.                         <property name="y_options"/>
  2697.                       </packing>
  2698.                     </child>
  2699.                     <child>
  2700.                       <object class="GtkLabel" id="cell-properties-horizontal-label">
  2701.                         <property name="visible">True</property>
  2702.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2703.                         <property name="xalign">1</property>
  2704.                         <property name="label" translatable="yes">_Horizontal:</property>
  2705.                         <property name="use_underline">True</property>
  2706.                         <property name="mnemonic_widget">cell-properties-horizontal-combo-box</property>
  2707.                       </object>
  2708.                       <packing>
  2709.                         <property name="x_options">GTK_FILL</property>
  2710.                         <property name="y_options"/>
  2711.                       </packing>
  2712.                     </child>
  2713.                   </object>
  2714.                 </child>
  2715.               </object>
  2716.               <packing>
  2717.                 <property name="position">1</property>
  2718.               </packing>
  2719.             </child>
  2720.           </object>
  2721.           <packing>
  2722.             <property name="expand">False</property>
  2723.             <property name="fill">False</property>
  2724.             <property name="position">1</property>
  2725.           </packing>
  2726.         </child>
  2727.         <child>
  2728.           <object class="GtkVBox" id="cell-properties-layout-vbox">
  2729.             <property name="visible">True</property>
  2730.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2731.             <property name="spacing">6</property>
  2732.             <child>
  2733.               <object class="GtkLabel" id="cell-properties-layout-header">
  2734.                 <property name="visible">True</property>
  2735.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2736.                 <property name="xalign">0</property>
  2737.                 <property name="label" translatable="yes">Layout</property>
  2738.                 <attributes>
  2739.                   <attribute name="weight" value="bold"/>
  2740.                 </attributes>
  2741.               </object>
  2742.             </child>
  2743.             <child>
  2744.               <object class="GtkAlignment" id="cell-properties-layout-alignment">
  2745.                 <property name="visible">True</property>
  2746.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2747.                 <property name="left_padding">12</property>
  2748.                 <child>
  2749.                   <object class="GtkTable" id="cell-properties-layout-table">
  2750.                     <property name="visible">True</property>
  2751.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2752.                     <property name="n_rows">2</property>
  2753.                     <property name="n_columns">6</property>
  2754.                     <property name="column_spacing">6</property>
  2755.                     <property name="row_spacing">6</property>
  2756.                     <child>
  2757.                       <placeholder/>
  2758.                     </child>
  2759.                     <child>
  2760.                       <placeholder/>
  2761.                     </child>
  2762.                     <child>
  2763.                       <placeholder/>
  2764.                     </child>
  2765.                     <child>
  2766.                       <placeholder/>
  2767.                     </child>
  2768.                     <child>
  2769.                       <placeholder/>
  2770.                     </child>
  2771.                     <child>
  2772.                       <object class="GtkSpinButton" id="cell-properties-column-span-spin-button">
  2773.                         <property name="visible">True</property>
  2774.                         <property name="can_focus">True</property>
  2775.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2776.                         <property name="adjustment">adjustment9</property>
  2777.                         <signal handler="gtkhtml_editor_cell_properties_column_span_changed_cb" name="change_value" object="cell-properties-window"/>
  2778.                       </object>
  2779.                       <packing>
  2780.                         <property name="left_attach">5</property>
  2781.                         <property name="right_attach">6</property>
  2782.                         <property name="top_attach">1</property>
  2783.                         <property name="bottom_attach">2</property>
  2784.                         <property name="y_options"/>
  2785.                       </packing>
  2786.                     </child>
  2787.                     <child>
  2788.                       <object class="GtkSpinButton" id="cell-properties-row-span-spin-button">
  2789.                         <property name="visible">True</property>
  2790.                         <property name="can_focus">True</property>
  2791.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2792.                         <property name="adjustment">adjustment10</property>
  2793.                         <signal handler="gtkhtml_editor_cell_properties_row_span_changed_cb" name="change_value" object="cell-properties-window"/>
  2794.                       </object>
  2795.                       <packing>
  2796.                         <property name="left_attach">5</property>
  2797.                         <property name="right_attach">6</property>
  2798.                         <property name="y_options"/>
  2799.                       </packing>
  2800.                     </child>
  2801.                     <child>
  2802.                       <object class="GtkLabel" id="cell-properties-column-span-label">
  2803.                         <property name="visible">True</property>
  2804.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2805.                         <property name="xalign">1</property>
  2806.                         <property name="label" translatable="yes">Column Span:</property>
  2807.                         <property name="use_underline">True</property>
  2808.                         <property name="mnemonic_widget">cell-properties-column-span-spin-button</property>
  2809.                       </object>
  2810.                       <packing>
  2811.                         <property name="left_attach">4</property>
  2812.                         <property name="right_attach">5</property>
  2813.                         <property name="top_attach">1</property>
  2814.                         <property name="bottom_attach">2</property>
  2815.                         <property name="x_options">GTK_FILL</property>
  2816.                         <property name="y_options"/>
  2817.                       </packing>
  2818.                     </child>
  2819.                     <child>
  2820.                       <object class="GtkLabel" id="cell-properties-row-span-label">
  2821.                         <property name="visible">True</property>
  2822.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2823.                         <property name="xalign">1</property>
  2824.                         <property name="label" translatable="yes">Row Span:</property>
  2825.                         <property name="use_underline">True</property>
  2826.                         <property name="mnemonic_widget">cell-properties-row-span-spin-button</property>
  2827.                       </object>
  2828.                       <packing>
  2829.                         <property name="left_attach">4</property>
  2830.                         <property name="right_attach">5</property>
  2831.                         <property name="x_options">GTK_FILL</property>
  2832.                         <property name="y_options"/>
  2833.                       </packing>
  2834.                     </child>
  2835.                     <child>
  2836.                       <object class="GtkComboBox" id="cell-properties-width-combo-box">
  2837.                         <property name="visible">True</property>
  2838.                         <property name="sensitive">False</property>
  2839.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2840.                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="changed" object="cell-properties-window"/>
  2841.                         <property name="model">model8</property>
  2842.                         <child>
  2843.                           <object class="GtkCellRendererText" id="renderer8"/>
  2844.                           <attributes>
  2845.                             <attribute name="text">0</attribute>
  2846.                           </attributes>
  2847.                         </child>
  2848.                       </object>
  2849.                       <packing>
  2850.                         <property name="left_attach">2</property>
  2851.                         <property name="right_attach">3</property>
  2852.                         <property name="x_options">GTK_FILL</property>
  2853.                         <property name="y_options"/>
  2854.                       </packing>
  2855.                     </child>
  2856.                     <child>
  2857.                       <object class="GtkSpinButton" id="cell-properties-width-spin-button">
  2858.                         <property name="width_request">100</property>
  2859.                         <property name="visible">True</property>
  2860.                         <property name="sensitive">False</property>
  2861.                         <property name="can_focus">True</property>
  2862.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2863.                         <property name="adjustment">adjustment11</property>
  2864.                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="value_changed" object="cell-properties-window"/>
  2865.                       </object>
  2866.                       <packing>
  2867.                         <property name="left_attach">1</property>
  2868.                         <property name="right_attach">2</property>
  2869.                         <property name="y_options"/>
  2870.                       </packing>
  2871.                     </child>
  2872.                     <child>
  2873.                       <object class="GtkCheckButton" id="cell-properties-width-check-button">
  2874.                         <property name="visible">True</property>
  2875.                         <property name="can_focus">True</property>
  2876.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2877.                         <property name="label" translatable="yes">Width:</property>
  2878.                         <property name="use_underline">True</property>
  2879.                         <property name="draw_indicator">True</property>
  2880.                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="toggled" object="cell-properties-window"/>
  2881.                       </object>
  2882.                       <packing>
  2883.                         <property name="x_options">GTK_FILL</property>
  2884.                         <property name="y_options"/>
  2885.                       </packing>
  2886.                     </child>
  2887.                   </object>
  2888.                 </child>
  2889.               </object>
  2890.               <packing>
  2891.                 <property name="position">1</property>
  2892.               </packing>
  2893.             </child>
  2894.           </object>
  2895.           <packing>
  2896.             <property name="expand">False</property>
  2897.             <property name="fill">False</property>
  2898.             <property name="position">2</property>
  2899.           </packing>
  2900.         </child>
  2901.         <child>
  2902.           <object class="GtkVBox" id="cell-properties-background-vbox">
  2903.             <property name="visible">True</property>
  2904.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2905.             <property name="spacing">6</property>
  2906.             <child>
  2907.               <object class="GtkLabel" id="cell-properties-background-header">
  2908.                 <property name="visible">True</property>
  2909.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2910.                 <property name="xalign">0</property>
  2911.                 <property name="label" translatable="yes">Background</property>
  2912.                 <attributes>
  2913.                   <attribute name="weight" value="bold"/>
  2914.                 </attributes>
  2915.               </object>
  2916.             </child>
  2917.             <child>
  2918.               <object class="GtkAlignment" id="cell-properties-background-alignment">
  2919.                 <property name="visible">True</property>
  2920.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2921.                 <property name="left_padding">12</property>
  2922.                 <child>
  2923.                   <object class="GtkTable" id="cell-properties-background-table">
  2924.                     <property name="visible">True</property>
  2925.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2926.                     <property name="n_rows">2</property>
  2927.                     <property name="n_columns">2</property>
  2928.                     <property name="column_spacing">6</property>
  2929.                     <property name="row_spacing">6</property>
  2930.                     <child>
  2931.                       <object class="GtkFileChooserButton" id="cell-properties-image-file-chooser">
  2932.                         <property name="visible">True</property>
  2933.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2934.                         <property name="title" translatable="yes">Select An Image</property>
  2935.                         <signal handler="gtkhtml_editor_cell_properties_image_file_set_cb" name="file_set" object="cell-properties-window"/>
  2936.                       </object>
  2937.                       <packing>
  2938.                         <property name="left_attach">1</property>
  2939.                         <property name="right_attach">2</property>
  2940.                         <property name="top_attach">1</property>
  2941.                         <property name="bottom_attach">2</property>
  2942.                         <property name="y_options"/>
  2943.                       </packing>
  2944.                     </child>
  2945.                     <child>
  2946.                       <object class="GtkhtmlColorCombo" id="cell-properties-color-combo">
  2947.                         <property name="visible">True</property>
  2948.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2949.                         <property name="default_color">#000000000000</property>
  2950.                         <property name="default_label">Transparent</property>
  2951.                         <property name="default_transparent">True</property>
  2952.                         <signal handler="gtkhtml_editor_cell_properties_color_changed_cb" name="changed" object="cell-properties-window"/>
  2953.                       </object>
  2954.                       <packing>
  2955.                         <property name="left_attach">1</property>
  2956.                         <property name="right_attach">2</property>
  2957.                         <property name="y_options"/>
  2958.                       </packing>
  2959.                     </child>
  2960.                     <child>
  2961.                       <object class="GtkLabel" id="cell-properties-image-label">
  2962.                         <property name="visible">True</property>
  2963.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2964.                         <property name="label" translatable="yes">I_mage:</property>
  2965.                         <property name="use_underline">True</property>
  2966.                         <property name="mnemonic_widget">cell-properties-image-file-chooser</property>
  2967.                       </object>
  2968.                       <packing>
  2969.                         <property name="top_attach">1</property>
  2970.                         <property name="bottom_attach">2</property>
  2971.                         <property name="x_options">GTK_FILL</property>
  2972.                         <property name="y_options"/>
  2973.                       </packing>
  2974.                     </child>
  2975.                     <child>
  2976.                       <object class="GtkLabel" id="cell-properties-color-label">
  2977.                         <property name="visible">True</property>
  2978.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2979.                         <property name="xalign">1</property>
  2980.                         <property name="label" translatable="yes">C_olor:</property>
  2981.                         <property name="use_underline">True</property>
  2982.                         <property name="mnemonic_widget">cell-properties-color-combo</property>
  2983.                       </object>
  2984.                       <packing>
  2985.                         <property name="x_options">GTK_FILL</property>
  2986.                         <property name="y_options"/>
  2987.                       </packing>
  2988.                     </child>
  2989.                   </object>
  2990.                 </child>
  2991.               </object>
  2992.               <packing>
  2993.                 <property name="position">1</property>
  2994.               </packing>
  2995.             </child>
  2996.           </object>
  2997.           <packing>
  2998.             <property name="expand">False</property>
  2999.             <property name="fill">False</property>
  3000.             <property name="position">3</property>
  3001.           </packing>
  3002.         </child>
  3003.         <child>
  3004.           <object class="GtkHButtonBox" id="cell-properties-button-box">
  3005.             <property name="visible">True</property>
  3006.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3007.             <property name="spacing">12</property>
  3008.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  3009.             <child>
  3010.               <object class="GtkButton" id="cell-properties-close-button">
  3011.                 <property name="visible">True</property>
  3012.                 <property name="can_focus">True</property>
  3013.                 <property name="receives_default">True</property>
  3014.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3015.                 <property name="label">gtk-close</property>
  3016.                 <property name="use_stock">True</property>
  3017.                 <signal handler="gtk_widget_hide" name="clicked" object="cell-properties-window"/>
  3018.               </object>
  3019.               <packing>
  3020.                 <property name="position">1</property>
  3021.               </packing>
  3022.             </child>
  3023.           </object>
  3024.           <packing>
  3025.             <property name="expand">False</property>
  3026.             <property name="fill">False</property>
  3027.             <property name="pack_type">GTK_PACK_END</property>
  3028.             <property name="position">4</property>
  3029.           </packing>
  3030.         </child>
  3031.       </object>
  3032.     </child>
  3033.   </object>
  3034.   <object class="GtkWindow" id="image-properties-window">
  3035.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3036.     <property name="border_width">12</property>
  3037.     <property name="title" translatable="yes">Image Properties</property>
  3038.     <property name="resizable">False</property>
  3039.     <property name="modal">True</property>
  3040.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  3041.     <property name="destroy_with_parent">True</property>
  3042.     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
  3043.     <signal handler="gtkhtml_editor_image_properties_show_window_cb" name="show"/>
  3044.     <child>
  3045.       <object class="GtkVBox" id="image-properties-vbox">
  3046.         <property name="visible">True</property>
  3047.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3048.         <property name="spacing">12</property>
  3049.         <child>
  3050.           <object class="GtkVBox" id="image-properties-general-vbox">
  3051.             <property name="visible">True</property>
  3052.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3053.             <property name="spacing">6</property>
  3054.             <child>
  3055.               <object class="GtkLabel" id="image-properties-general-header">
  3056.                 <property name="visible">True</property>
  3057.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3058.                 <property name="xalign">0</property>
  3059.                 <property name="label" translatable="yes">General</property>
  3060.                 <attributes>
  3061.                   <attribute name="weight" value="bold"/>
  3062.                 </attributes>
  3063.               </object>
  3064.             </child>
  3065.             <child>
  3066.               <object class="GtkAlignment" id="image-properties-general-alignment">
  3067.                 <property name="visible">True</property>
  3068.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3069.                 <property name="left_padding">12</property>
  3070.                 <child>
  3071.                   <object class="GtkTable" id="image-properties-general-table">
  3072.                     <property name="visible">True</property>
  3073.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3074.                     <property name="n_rows">2</property>
  3075.                     <property name="n_columns">2</property>
  3076.                     <property name="column_spacing">6</property>
  3077.                     <property name="row_spacing">6</property>
  3078.                     <child>
  3079.                       <object class="GtkEntry" id="image-properties-description-entry">
  3080.                         <property name="visible">True</property>
  3081.                         <property name="can_focus">True</property>
  3082.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3083.                         <signal handler="gtkhtml_editor_image_properties_description_changed_cb" name="changed" object="image-properties-window"/>
  3084.                       </object>
  3085.                       <packing>
  3086.                         <property name="left_attach">1</property>
  3087.                         <property name="right_attach">2</property>
  3088.                         <property name="top_attach">1</property>
  3089.                         <property name="bottom_attach">2</property>
  3090.                         <property name="y_options"/>
  3091.                       </packing>
  3092.                     </child>
  3093.                     <child>
  3094.                       <object class="GtkFileChooserButton" id="image-properties-source-file-chooser">
  3095.                         <property name="visible">True</property>
  3096.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3097.                         <signal handler="gtkhtml_editor_image_properties_source_file_set_cb" name="file_set" object="image-properties-window"/>
  3098.                       </object>
  3099.                       <packing>
  3100.                         <property name="left_attach">1</property>
  3101.                         <property name="right_attach">2</property>
  3102.                         <property name="y_options"/>
  3103.                       </packing>
  3104.                     </child>
  3105.                     <child>
  3106.                       <object class="GtkLabel" id="image-properties-description-label">
  3107.                         <property name="visible">True</property>
  3108.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3109.                         <property name="label" translatable="yes">_Description:</property>
  3110.                         <property name="use_underline">True</property>
  3111.                         <property name="mnemonic_widget">image-properties-description-entry</property>
  3112.                       </object>
  3113.                       <packing>
  3114.                         <property name="top_attach">1</property>
  3115.                         <property name="bottom_attach">2</property>
  3116.                         <property name="x_options">GTK_FILL</property>
  3117.                         <property name="y_options"/>
  3118.                       </packing>
  3119.                     </child>
  3120.                     <child>
  3121.                       <object class="GtkLabel" id="image-properties-source-label">
  3122.                         <property name="visible">True</property>
  3123.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3124.                         <property name="xalign">1</property>
  3125.                         <property name="label" translatable="yes">_Source:</property>
  3126.                         <property name="use_underline">True</property>
  3127.                         <property name="mnemonic_widget">image-properties-source-file-chooser</property>
  3128.                       </object>
  3129.                       <packing>
  3130.                         <property name="x_options">GTK_FILL</property>
  3131.                         <property name="y_options"/>
  3132.                       </packing>
  3133.                     </child>
  3134.                   </object>
  3135.                 </child>
  3136.               </object>
  3137.               <packing>
  3138.                 <property name="position">1</property>
  3139.               </packing>
  3140.             </child>
  3141.           </object>
  3142.           <packing>
  3143.             <property name="expand">False</property>
  3144.             <property name="fill">False</property>
  3145.           </packing>
  3146.         </child>
  3147.         <child>
  3148.           <object class="GtkVBox" id="image-properties-layout-vbox">
  3149.             <property name="visible">True</property>
  3150.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3151.             <property name="spacing">6</property>
  3152.             <child>
  3153.               <object class="GtkLabel" id="image-properties-layout-header">
  3154.                 <property name="visible">True</property>
  3155.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3156.                 <property name="xalign">0</property>
  3157.                 <property name="label" translatable="yes">Layout</property>
  3158.                 <attributes>
  3159.                   <attribute name="weight" value="bold"/>
  3160.                 </attributes>
  3161.               </object>
  3162.             </child>
  3163.             <child>
  3164.               <object class="GtkAlignment" id="image-properties-layout-alignment">
  3165.                 <property name="visible">True</property>
  3166.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3167.                 <property name="left_padding">12</property>
  3168.                 <child>
  3169.                   <object class="GtkTable" id="image-properties-layout-table">
  3170.                     <property name="visible">True</property>
  3171.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3172.                     <property name="n_rows">3</property>
  3173.                     <property name="n_columns">7</property>
  3174.                     <property name="column_spacing">6</property>
  3175.                     <property name="row_spacing">6</property>
  3176.                     <child>
  3177.                       <placeholder/>
  3178.                     </child>
  3179.                     <child>
  3180.                       <placeholder/>
  3181.                     </child>
  3182.                     <child>
  3183.                       <placeholder/>
  3184.                     </child>
  3185.                     <child>
  3186.                       <placeholder/>
  3187.                     </child>
  3188.                     <child>
  3189.                       <object class="GtkLabel" id="image-properties-width-label">
  3190.                         <property name="visible">True</property>
  3191.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3192.                         <property name="xalign">1</property>
  3193.                         <property name="label" translatable="yes">_Width:</property>
  3194.                         <property name="use_underline">True</property>
  3195.                         <property name="mnemonic_widget">image-properties-width-spin-button</property>
  3196.                       </object>
  3197.                       <packing>
  3198.                         <property name="x_options">GTK_FILL</property>
  3199.                         <property name="y_options"/>
  3200.                       </packing>
  3201.                     </child>
  3202.                     <child>
  3203.                       <object class="GtkLabel" id="image-properties-height-label">
  3204.                         <property name="visible">True</property>
  3205.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3206.                         <property name="xalign">1</property>
  3207.                         <property name="label" translatable="yes">_Height:</property>
  3208.                         <property name="use_underline">True</property>
  3209.                         <property name="mnemonic_widget">image-properties-height-spin-button</property>
  3210.                       </object>
  3211.                       <packing>
  3212.                         <property name="top_attach">1</property>
  3213.                         <property name="bottom_attach">2</property>
  3214.                         <property name="x_options">GTK_FILL</property>
  3215.                         <property name="y_options"/>
  3216.                       </packing>
  3217.                     </child>
  3218.                     <child>
  3219.                       <object class="GtkLabel" id="image-properties-alignment-label">
  3220.                         <property name="visible">True</property>
  3221.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3222.                         <property name="xalign">1</property>
  3223.                         <property name="label" translatable="yes">_Alignment:</property>
  3224.                         <property name="use_underline">True</property>
  3225.                         <property name="mnemonic_widget">image-properties-alignment-combo-box</property>
  3226.                       </object>
  3227.                       <packing>
  3228.                         <property name="top_attach">2</property>
  3229.                         <property name="bottom_attach">3</property>
  3230.                         <property name="x_options">GTK_FILL</property>
  3231.                         <property name="y_options"/>
  3232.                       </packing>
  3233.                     </child>
  3234.                     <child>
  3235.                       <object class="GtkSpinButton" id="image-properties-width-spin-button">
  3236.                         <property name="width_request">100</property>
  3237.                         <property name="visible">True</property>
  3238.                         <property name="can_focus">True</property>
  3239.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3240.                         <property name="adjustment">adjustment12</property>
  3241.                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="value_changed" object="image-properties-window"/>
  3242.                       </object>
  3243.                       <packing>
  3244.                         <property name="left_attach">1</property>
  3245.                         <property name="right_attach">2</property>
  3246.                         <property name="y_options"/>
  3247.                       </packing>
  3248.                     </child>
  3249.                     <child>
  3250.                       <object class="GtkSpinButton" id="image-properties-height-spin-button">
  3251.                         <property name="width_request">100</property>
  3252.                         <property name="visible">True</property>
  3253.                         <property name="can_focus">True</property>
  3254.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3255.                         <property name="adjustment">adjustment13</property>
  3256.                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="value_changed" object="image-properties-window"/>
  3257.                       </object>
  3258.                       <packing>
  3259.                         <property name="left_attach">1</property>
  3260.                         <property name="right_attach">2</property>
  3261.                         <property name="top_attach">1</property>
  3262.                         <property name="bottom_attach">2</property>
  3263.                         <property name="y_options"/>
  3264.                       </packing>
  3265.                     </child>
  3266.                     <child>
  3267.                       <object class="GtkComboBox" id="image-properties-width-combo-box">
  3268.                         <property name="visible">True</property>
  3269.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3270.                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="changed" object="image-properties-window"/>
  3271.                         <property name="model">model9</property>
  3272.                         <child>
  3273.                           <object class="GtkCellRendererText" id="renderer9"/>
  3274.                           <attributes>
  3275.                             <attribute name="text">0</attribute>
  3276.                           </attributes>
  3277.                         </child>
  3278.                       </object>
  3279.                       <packing>
  3280.                         <property name="left_attach">2</property>
  3281.                         <property name="right_attach">3</property>
  3282.                         <property name="x_options"/>
  3283.                         <property name="y_options"/>
  3284.                       </packing>
  3285.                     </child>
  3286.                     <child>
  3287.                       <object class="GtkComboBox" id="image-properties-height-combo-box">
  3288.                         <property name="visible">True</property>
  3289.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3290.                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="changed" object="image-properties-window"/>
  3291.                         <property name="model">model10</property>
  3292.                         <child>
  3293.                           <object class="GtkCellRendererText" id="renderer10"/>
  3294.                           <attributes>
  3295.                             <attribute name="text">0</attribute>
  3296.                           </attributes>
  3297.                         </child>
  3298.                       </object>
  3299.                       <packing>
  3300.                         <property name="left_attach">2</property>
  3301.                         <property name="right_attach">3</property>
  3302.                         <property name="top_attach">1</property>
  3303.                         <property name="bottom_attach">2</property>
  3304.                         <property name="x_options"/>
  3305.                         <property name="y_options"/>
  3306.                       </packing>
  3307.                     </child>
  3308.                     <child>
  3309.                       <object class="GtkComboBox" id="image-properties-alignment-combo-box">
  3310.                         <property name="visible">True</property>
  3311.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3312.                         <signal handler="gtkhtml_editor_image_properties_alignment_changed_cb" name="changed" object="image-properties-window"/>
  3313.                         <property name="model">model11</property>
  3314.                         <child>
  3315.                           <object class="GtkCellRendererText" id="renderer11"/>
  3316.                           <attributes>
  3317.                             <attribute name="text">0</attribute>
  3318.                           </attributes>
  3319.                         </child>
  3320.                       </object>
  3321.                       <packing>
  3322.                         <property name="left_attach">1</property>
  3323.                         <property name="right_attach">2</property>
  3324.                         <property name="top_attach">2</property>
  3325.                         <property name="bottom_attach">3</property>
  3326.                         <property name="y_options"/>
  3327.                       </packing>
  3328.                     </child>
  3329.                     <child>
  3330.                       <object class="GtkLabel" id="image-properties-x-padding-label">
  3331.                         <property name="visible">True</property>
  3332.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3333.                         <property name="xalign">1</property>
  3334.                         <property name="label" translatable="yes">_X-Padding:</property>
  3335.                         <property name="use_underline">True</property>
  3336.                         <property name="mnemonic_widget">image-properties-x-padding-spin-button</property>
  3337.                       </object>
  3338.                       <packing>
  3339.                         <property name="left_attach">4</property>
  3340.                         <property name="right_attach">5</property>
  3341.                         <property name="x_options">GTK_FILL</property>
  3342.                         <property name="y_options"/>
  3343.                       </packing>
  3344.                     </child>
  3345.                     <child>
  3346.                       <object class="GtkLabel" id="image-properties-y-padding-label">
  3347.                         <property name="visible">True</property>
  3348.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3349.                         <property name="xalign">1</property>
  3350.                         <property name="label" translatable="yes">_Y-Padding:</property>
  3351.                         <property name="use_underline">True</property>
  3352.                         <property name="mnemonic_widget">image-properties-y-padding-spin-button</property>
  3353.                       </object>
  3354.                       <packing>
  3355.                         <property name="left_attach">4</property>
  3356.                         <property name="right_attach">5</property>
  3357.                         <property name="top_attach">1</property>
  3358.                         <property name="bottom_attach">2</property>
  3359.                         <property name="x_options">GTK_FILL</property>
  3360.                         <property name="y_options"/>
  3361.                       </packing>
  3362.                     </child>
  3363.                     <child>
  3364.                       <object class="GtkLabel" id="image-properties-border-label">
  3365.                         <property name="visible">True</property>
  3366.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3367.                         <property name="xalign">1</property>
  3368.                         <property name="label" translatable="yes">_Border:</property>
  3369.                         <property name="use_underline">True</property>
  3370.                         <property name="mnemonic_widget">image-properties-border-spin-button</property>
  3371.                       </object>
  3372.                       <packing>
  3373.                         <property name="left_attach">4</property>
  3374.                         <property name="right_attach">5</property>
  3375.                         <property name="top_attach">2</property>
  3376.                         <property name="bottom_attach">3</property>
  3377.                         <property name="x_options">GTK_FILL</property>
  3378.                         <property name="y_options"/>
  3379.                       </packing>
  3380.                     </child>
  3381.                     <child>
  3382.                       <object class="GtkSpinButton" id="image-properties-x-padding-spin-button">
  3383.                         <property name="visible">True</property>
  3384.                         <property name="can_focus">True</property>
  3385.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3386.                         <property name="adjustment">adjustment14</property>
  3387.                         <signal handler="gtkhtml_editor_image_properties_padding_changed_cb" name="value_changed" object="image-properties-window"/>
  3388.                       </object>
  3389.                       <packing>
  3390.                         <property name="left_attach">5</property>
  3391.                         <property name="right_attach">6</property>
  3392.                         <property name="y_options"/>
  3393.                       </packing>
  3394.                     </child>
  3395.                     <child>
  3396.                       <object class="GtkLabel" id="image-properties-x-padding-units-label">
  3397.                         <property name="visible">True</property>
  3398.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3399.                         <property name="xalign">0</property>
  3400.                         <property name="label" translatable="yes">px</property>
  3401.                       </object>
  3402.                       <packing>
  3403.                         <property name="left_attach">6</property>
  3404.                         <property name="right_attach">7</property>
  3405.                         <property name="x_options">GTK_FILL</property>
  3406.                         <property name="y_options"/>
  3407.                       </packing>
  3408.                     </child>
  3409.                     <child>
  3410.                       <object class="GtkLabel" id="image-properties-y-padding-units-label">
  3411.                         <property name="visible">True</property>
  3412.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3413.                         <property name="xalign">0</property>
  3414.                         <property name="label" translatable="yes">px</property>
  3415.                       </object>
  3416.                       <packing>
  3417.                         <property name="left_attach">6</property>
  3418.                         <property name="right_attach">7</property>
  3419.                         <property name="top_attach">1</property>
  3420.                         <property name="bottom_attach">2</property>
  3421.                         <property name="x_options">GTK_FILL</property>
  3422.                         <property name="y_options"/>
  3423.                       </packing>
  3424.                     </child>
  3425.                     <child>
  3426.                       <object class="GtkSpinButton" id="image-properties-y-padding-spin-button">
  3427.                         <property name="visible">True</property>
  3428.                         <property name="can_focus">True</property>
  3429.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3430.                         <property name="adjustment">adjustment15</property>
  3431.                         <signal handler="gtkhtml_editor_image_properties_padding_changed_cb" name="value_changed" object="image-properties-window"/>
  3432.                       </object>
  3433.                       <packing>
  3434.                         <property name="left_attach">5</property>
  3435.                         <property name="right_attach">6</property>
  3436.                         <property name="top_attach">1</property>
  3437.                         <property name="bottom_attach">2</property>
  3438.                         <property name="y_options"/>
  3439.                       </packing>
  3440.                     </child>
  3441.                     <child>
  3442.                       <object class="GtkLabel" id="image-properties-border-units-label">
  3443.                         <property name="visible">True</property>
  3444.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3445.                         <property name="xalign">0</property>
  3446.                         <property name="label" translatable="yes">px</property>
  3447.                       </object>
  3448.                       <packing>
  3449.                         <property name="left_attach">6</property>
  3450.                         <property name="right_attach">7</property>
  3451.                         <property name="top_attach">2</property>
  3452.                         <property name="bottom_attach">3</property>
  3453.                         <property name="x_options">GTK_FILL</property>
  3454.                         <property name="y_options"/>
  3455.                       </packing>
  3456.                     </child>
  3457.                     <child>
  3458.                       <object class="GtkSpinButton" id="image-properties-border-spin-button">
  3459.                         <property name="visible">True</property>
  3460.                         <property name="can_focus">True</property>
  3461.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3462.                         <property name="adjustment">adjustment16</property>
  3463.                         <signal handler="gtkhtml_editor_image_properties_border_changed_cb" name="value_changed" object="image-properties-window"/>
  3464.                       </object>
  3465.                       <packing>
  3466.                         <property name="left_attach">5</property>
  3467.                         <property name="right_attach">6</property>
  3468.                         <property name="top_attach">2</property>
  3469.                         <property name="bottom_attach">3</property>
  3470.                         <property name="y_options"/>
  3471.                       </packing>
  3472.                     </child>
  3473.                   </object>
  3474.                 </child>
  3475.               </object>
  3476.               <packing>
  3477.                 <property name="position">1</property>
  3478.               </packing>
  3479.             </child>
  3480.           </object>
  3481.           <packing>
  3482.             <property name="expand">False</property>
  3483.             <property name="fill">False</property>
  3484.             <property name="position">1</property>
  3485.           </packing>
  3486.         </child>
  3487.         <child>
  3488.           <object class="GtkVBox" id="image-properties-link-vbox">
  3489.             <property name="visible">True</property>
  3490.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3491.             <property name="spacing">6</property>
  3492.             <child>
  3493.               <object class="GtkLabel" id="image-properties-link-header">
  3494.                 <property name="visible">True</property>
  3495.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3496.                 <property name="xalign">0</property>
  3497.                 <property name="label" translatable="yes">Link</property>
  3498.                 <attributes>
  3499.                   <attribute name="weight" value="bold"/>
  3500.                 </attributes>
  3501.               </object>
  3502.             </child>
  3503.             <child>
  3504.               <object class="GtkAlignment" id="image-properties-link-alignment">
  3505.                 <property name="visible">True</property>
  3506.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3507.                 <property name="left_padding">12</property>
  3508.                 <child>
  3509.                   <object class="GtkTable" id="image-properties-link-table">
  3510.                     <property name="visible">True</property>
  3511.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3512.                     <property name="n_columns">3</property>
  3513.                     <property name="column_spacing">6</property>
  3514.                     <property name="row_spacing">6</property>
  3515.                     <child>
  3516.                       <object class="GtkButton" id="image-properties-url-button">
  3517.                         <property name="visible">True</property>
  3518.                         <property name="can_focus">True</property>
  3519.                         <property name="receives_default">True</property>
  3520.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3521.                         <property name="label" translatable="yes">_Test URL...</property>
  3522.                         <property name="use_underline">True</property>
  3523.                         <signal handler="gtkhtml_editor_image_properties_url_button_clicked_cb" name="clicked" object="image-properties-window"/>
  3524.                       </object>
  3525.                       <packing>
  3526.                         <property name="left_attach">2</property>
  3527.                         <property name="right_attach">3</property>
  3528.                         <property name="x_options">GTK_FILL</property>
  3529.                         <property name="y_options"/>
  3530.                       </packing>
  3531.                     </child>
  3532.                     <child>
  3533.                       <object class="GtkEntry" id="image-properties-url-entry">
  3534.                         <property name="visible">True</property>
  3535.                         <property name="can_focus">True</property>
  3536.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3537.                         <signal handler="gtkhtml_editor_image_properties_url_entry_changed_cb" name="changed" object="image-properties-window"/>
  3538.                       </object>
  3539.                       <packing>
  3540.                         <property name="left_attach">1</property>
  3541.                         <property name="right_attach">2</property>
  3542.                         <property name="y_options"/>
  3543.                       </packing>
  3544.                     </child>
  3545.                     <child>
  3546.                       <object class="GtkLabel" id="image-properties-url-label">
  3547.                         <property name="visible">True</property>
  3548.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3549.                         <property name="xalign">1</property>
  3550.                         <property name="label" translatable="yes">_URL:</property>
  3551.                         <property name="use_underline">True</property>
  3552.                         <property name="mnemonic_widget">image-properties-url-entry</property>
  3553.                       </object>
  3554.                       <packing>
  3555.                         <property name="x_options">GTK_FILL</property>
  3556.                         <property name="y_options"/>
  3557.                       </packing>
  3558.                     </child>
  3559.                   </object>
  3560.                 </child>
  3561.               </object>
  3562.               <packing>
  3563.                 <property name="position">1</property>
  3564.               </packing>
  3565.             </child>
  3566.           </object>
  3567.           <packing>
  3568.             <property name="expand">False</property>
  3569.             <property name="fill">False</property>
  3570.             <property name="position">2</property>
  3571.           </packing>
  3572.         </child>
  3573.         <child>
  3574.           <object class="GtkHButtonBox" id="image-properties-button-box">
  3575.             <property name="visible">True</property>
  3576.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3577.             <property name="spacing">12</property>
  3578.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  3579.             <child>
  3580.               <object class="GtkButton" id="image-properties-close-button">
  3581.                 <property name="visible">True</property>
  3582.                 <property name="can_focus">True</property>
  3583.                 <property name="receives_default">True</property>
  3584.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3585.                 <property name="label">gtk-close</property>
  3586.                 <property name="use_stock">True</property>
  3587.                 <signal handler="gtk_widget_hide" name="clicked" object="image-properties-window"/>
  3588.               </object>
  3589.               <packing>
  3590.                 <property name="position">1</property>
  3591.               </packing>
  3592.             </child>
  3593.           </object>
  3594.           <packing>
  3595.             <property name="expand">False</property>
  3596.             <property name="fill">False</property>
  3597.             <property name="pack_type">GTK_PACK_END</property>
  3598.             <property name="position">3</property>
  3599.           </packing>
  3600.         </child>
  3601.       </object>
  3602.     </child>
  3603.   </object>
  3604. </interface>
  3605.